More on ETOL Systems versus random context grammars
β Scribed by G. Rozenberg
- Book ID
- 113161829
- Publisher
- Elsevier Science
- Year
- 1976
- Tongue
- English
- Weight
- 764 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
It is shown that non-returning parallel communicating grammar systems with -free contextfree components can generate any recursively enumerable language. Since it was proven that such systems can be simulated by returning PC grammar systems with context-free components, the result extends to those.
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.