Article contents
CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store⋆⋆⋆
Published online by Cambridge University Press: 07 October 2011
Abstract
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.
Keywords
- Type
- Research Article
- Information
- RAIRO - Theoretical Informatics and Applications , Volume 45 , Issue 4 , November 2011 , pp. 413 - 448
- Copyright
- © EDP Sciences 2011
References
- 5
- Cited by