Completeness of context-free grammar forms
โ Scribed by H.A. Maurer; A. Salomaa; D. Wood
- Publisher
- Elsevier Science
- Year
- 1981
- Tongue
- English
- Weight
- 600 KB
- Volume
- 23
- Category
- Article
- ISSN
- 0022-0000
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.
A new dynamical measure of the descriptional complexity for context-free grammars and languages, namely the degree of cooperation, is introduced and studied. This measure is connected with respect to both families of languages considered, namely the regular and context-free languages. We prove that