CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store

Abstract

We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of context-free trace languages.

DOI: 10.1051/ita/2011123

Extracted Key Phrases

1 Figure or Table

Cite this paper

@article{Nagy2011CDsystemsOS, title={CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store}, author={Benedek Nagy and Friedrich Otto}, journal={RAIRO - Theor. Inf. and Applic.}, year={2011}, volume={45}, pages={413-448} }