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.
✦ LIBER ✦
On the power of permitting features in cooperating context-free array grammar systems
✍ Scribed by Subramanian, K.G.; Venkat, Ibrahim; Csuhaj-Varjú, Erzsébet
- Book ID
- 122026753
- Publisher
- Elsevier Science
- Year
- 2013
- Tongue
- English
- Weight
- 281 KB
- Volume
- 161
- Category
- Article
- ISSN
- 0166-218X
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
On the computational power of context-fr
✍
Niculae Mandache
📂
Article
📅
2000
🏛
Elsevier Science
🌐
English
⚖ 132 KB
On the power of chain rules in context f
✍
Norbert Blum
📂
Article
📅
1982
🏛
Springer-Verlag
🌐
English
⚖ 273 KB
More on the power of chain rules in cont
✍
Norbert Blum
📂
Article
📅
1983
🏛
Elsevier Science
🌐
English
⚖ 643 KB
A Note on the Expressive Power of Probab
✍
Gabriel Infante-Lopez; Maarten De Rijke
📂
Article
📅
2006
🏛
Springer Netherlands
🌐
English
⚖ 197 KB
On the computational completeness of con
✍
Erzsébet Csuhaj-Varjú; György Vaszil
📂
Article
📅
1999
🏛
Elsevier Science
🌐
English
⚖ 632 KB
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.
On the Expressive Power of Abstract Cate
✍
Philippe de Groote; Sylvain Pogodalla
📂
Article
📅
2004
🏛
Springer Netherlands
🌐
English
⚖ 127 KB