Displaying similar documents to “Relational monoids, multirelations, and quantalic recognizers”

Regular languages definable by Lindström quantifiers

Zoltán Ésik, Kim G. Larsen (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

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.

Automata and categories

Symeon Bozapalides, Anestis Firarides (1982)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity: