Geodesic
How expressions can code for automata
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 1, pp. 217-237

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

corrigé par Corrigendum to our paper : How expressions can code for automata

In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expression, introduced by Antimirov, appears to be instrumental in this problem. The second important ingredient is the co-minimization of an automaton, a dual and generalized Moore algorithm on non-deterministic automata. We show here that if an automaton is then sufficiently “decorated”, the combination of these two algorithms gives the desired result. Reducing the amount of “decoration” is still the object of ongoing investigation.

DOI : 10.1051/ita:2005013
Classification : 68Q45, 68Q70
Keywords: finite automata, regular expression, derivation of expressions, quotient of automata 
@article{ITA_2005__39_1_217_0,
     author = {Lombardy, Sylvain and Sakarovitch, Jacques},
     title = {How expressions can code for automata},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {217--237},
     publisher = {EDP-Sciences},
     volume = {39},
     number = {1},
     year = {2005},
     doi = {10.1051/ita:2005013},
     mrnumber = {2132589},
     zbl = {1102.68070},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2005013/}
}
TY  - JOUR
AU  - Lombardy, Sylvain
AU  - Sakarovitch, Jacques
TI  - How expressions can code for automata
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2005
SP  - 217
EP  - 237
VL  - 39
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2005013/
DO  - 10.1051/ita:2005013
LA  - en
ID  - ITA_2005__39_1_217_0
ER  - 
%0 Journal Article
%A Lombardy, Sylvain
%A Sakarovitch, Jacques
%T How expressions can code for automata
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2005
%P 217-237
%V 39
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2005013/
%R 10.1051/ita:2005013
%G en
%F ITA_2005__39_1_217_0
Lombardy, Sylvain; Sakarovitch, Jacques. How expressions can code for automata. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 1, pp. 217-237. doi: 10.1051/ita:2005013

Cité par Sources :