A fast algorithm to decide on the equivalence of stateless DPDA
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 27 (1993) no. 1, pp. 23-48
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1993__27_1_23_0,
author = {Caucal, Didier},
title = {A fast algorithm to decide on the equivalence of stateless {DPDA}},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {23--48},
publisher = {EDP-Sciences},
volume = {27},
number = {1},
year = {1993},
mrnumber = {1213419},
zbl = {0778.68051},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1993__27_1_23_0/}
}
TY - JOUR AU - Caucal, Didier TI - A fast algorithm to decide on the equivalence of stateless DPDA JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1993 SP - 23 EP - 48 VL - 27 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1993__27_1_23_0/ LA - en ID - ITA_1993__27_1_23_0 ER -
%0 Journal Article %A Caucal, Didier %T A fast algorithm to decide on the equivalence of stateless DPDA %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1993 %P 23-48 %V 27 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1993__27_1_23_0/ %G en %F ITA_1993__27_1_23_0
Caucal, Didier. A fast algorithm to decide on the equivalence of stateless DPDA. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 27 (1993) no. 1, pp. 23-48. http://geodesic.mathdoc.fr/item/ITA_1993__27_1_23_0/