Regular Languages Definable by Lindström Quantifiers

Zoltán Ésik
Kim G. Larsen

August 2003

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 monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages

Available as PostScript, PDF, DVI.

 

Last modified: 2003-07-19 by webmaster.