Formal languages
Some decision problems for parallel communicating grammar systems
Theoretical Computer Science
Accepting grammars and systems via context condition grammars
Journal of Automata, Languages and Combinatorics - Special issue: Second international conference developments in language theory
Aspects of classical language theory
Handbook of formal languages, vol. 1
Handbook of formal languages, vol. 2
On simulating non-returning PC grammar systems with returning systems
Theoretical Computer Science
On the computational completeness of context-free parallel communicating grammar systems
Theoretical Computer Science
Theoretical Computer Science
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
| Hi-index | 0.00 |
We consider parallel communicating grammar systems which consist of several grammars and perform derivation steps, where each of the grammars works in a parallel and synchronized manner on its own sentential form, and communication steps, where a transfer of sentential forms is done. We discuss accepting and analyzing versions of such grammar systems with context-free productions and present characterizations of the family of recursively enumerable languages by them. In accepting parallel communicating grammar systems rules of the form α → A with a word α and a nonterminal A are applied as in the generating case, and the language consists of all terminal words which can derive the axiom. We prove that all types of these accepting grammar systems describe the family of recursively enumerable languages, even if λ-rules are forbidden. Moreover, we study analyzing parallel communicating grammar systems, the derivations of which perform the generating counterparts backwards. This requires a modification of the generating derivation concept to strong-returning parallel communicating grammar systems which also generate the family of recursively enumerable languages.