Voir la notice de l'article provenant de la source Numdam
We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are equipped with an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of word languages that are linearizations of context-free trace languages.
@article{ITA_2011__45_4_413_0,
author = {Nagy, Benedek and Otto, Friedrich},
title = {CD-systems of stateless deterministic {R(1)-automata} governed by an external pushdown store},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {413--448},
publisher = {EDP-Sciences},
volume = {45},
number = {4},
year = {2011},
doi = {10.1051/ita/2011123},
mrnumber = {2876115},
zbl = {1250.68172},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2011123/}
}
TY - JOUR AU - Nagy, Benedek AU - Otto, Friedrich TI - CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2011 SP - 413 EP - 448 VL - 45 IS - 4 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita/2011123/ DO - 10.1051/ita/2011123 LA - en ID - ITA_2011__45_4_413_0 ER -
%0 Journal Article %A Nagy, Benedek %A Otto, Friedrich %T CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2011 %P 413-448 %V 45 %N 4 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita/2011123/ %R 10.1051/ita/2011123 %G en %F ITA_2011__45_4_413_0
Nagy, Benedek; Otto, Friedrich. CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011) no. 4, pp. 413-448. doi: 10.1051/ita/2011123
Cité par Sources :