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.
@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 :