On the synchronization in parallel communicating grammar systems
✍ Scribed by Gheorghe Păun
- Publisher
- Springer-Verlag
- Year
- 1993
- Tongue
- English
- Weight
- 848 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0001-5903
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
We prove that all recursively enumerable languages can be generated by context-free returning parallel communicating grammar systems by showing how the parallel communicating grammars can simulate two-counter machines, a class of Turing machine variants which is known to be computationally complete.
The so-called family of finite copying parallel rewriting systems is considered in this work, including well-known generative devices and transducers as for instance the deterministic tree-walking transducers, the string generating context-free hypergraph grammars, and the multiple context-free gram