REGULAR LANGUAGES DEFINABLE BY LINDSTROEM QUANTIFIERS

摘要

In our main result, we establish a formal connection between Lindstroem quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindstroem quantifiers associated with a class of regular languages.