Regular Languages Definable by Lindström Quantifiers
Zoltán Ésik
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. |