Regular Languages Definable by Lindström Quantifiers
DOI:
https://doi.org/10.7146/brics.v10i28.21796Abstract
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.Downloads
Published
2003-08-07
How to Cite
Ésik, Z., & Larsen, K. G. (2003). Regular Languages Definable by Lindström Quantifiers. BRICS Report Series, 10(28). https://doi.org/10.7146/brics.v10i28.21796
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.