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

Zoltán Ésik; Kim G. Larsen

doi:10.7146/brics.v9i20.21950

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

Authors

Zoltán Ésik
Kim G. Larsen

DOI:

https://doi.org/10.7146/brics.v9i20.21950

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.

Superseded by BRICS-RS-03-28.

Downloads

Published

2002-04-10

How to Cite

Ésik, Z., & Larsen, K. G. (2002). Regular Languages Definable by Lindström Quantifiers (Preliminary Version). BRICS Report Series, 9(20). https://doi.org/10.7146/brics.v9i20.21950