Geodesic
Regular languages definable by Lindström quantifiers
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 3, pp. 179-241

Voir la notice de l'article provenant de la source Numdam

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.

DOI : 10.1051/ita:2003017
Classification : 20M35, 68Q45, 68Q60, 68Q70
Keywords: regular language, logic, Lindström quantifier, expressive power, semidirect product 
@article{ITA_2003__37_3_179_0,
     author = {\'Esik, Zolt\'an and Larsen, Kim G.},
     title = {Regular languages definable by {Lindstr\"om} quantifiers},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {179--241},
     publisher = {EDP-Sciences},
     volume = {37},
     number = {3},
     year = {2003},
     doi = {10.1051/ita:2003017},
     mrnumber = {2021315},
     zbl = {1046.20042},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2003017/}
}
TY  - JOUR
AU  - Ésik, Zoltán
AU  - Larsen, Kim G.
TI  - Regular languages definable by Lindström quantifiers
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2003
SP  - 179
EP  - 241
VL  - 37
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2003017/
DO  - 10.1051/ita:2003017
LA  - en
ID  - ITA_2003__37_3_179_0
ER  - 
%0 Journal Article
%A Ésik, Zoltán
%A Larsen, Kim G.
%T Regular languages definable by Lindström quantifiers
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2003
%P 179-241
%V 37
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2003017/
%R 10.1051/ita:2003017
%G en
%F ITA_2003__37_3_179_0
Ésik, Zoltán; Larsen, Kim G. Regular languages definable by Lindström quantifiers. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 3, pp. 179-241. doi: 10.1051/ita:2003017

Cité par Sources :