Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Zoltán Ésik
Kim G. Larsen

April 2002

Abstract:

In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoid-generator pairs. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages

Superseeded by the BRICS report RS-03-28

Last modified: 2003-07-19 by webmaster.