Geodesic
Corrigendum to our paper : How expressions can code for automata
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 44 (2010) no. 3, pp. 339-361

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

corrige How expressions can code for automata

In a previous paper, we have described the construction of an automaton from a rational expression which has the property that the automaton built from an expression which is itself computed from a co-deterministic automaton by the state elimination method is co-deterministic. It turned out that the definition on which the construction is based was inappropriate, and thus the proof of the property was flawed. We give here the correct definition of the broken derived terms of an expression which allow to define the automaton and the detailed full proof of the property.

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

Cité par Sources :