Algebraic Characterizations of Classes of Regular Languages in DynFO

Corentin Barloy, Felix Tschirbs, Nils Vortmeier +1

This paper explores the fine-grained structure of classes of regular languages maintainable in fragments of first-order logic within the dynamic descriptive complexity framework of…