Geodesic
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

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.

DOI : 10.1051/ita/2011123
Classification : 68Q45
Keywords: restarting automaton, cooperating distributed system, external pushdown, context-free trace language 
@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 :