The book of L
Formal languages
Handbook of formal languages, vol. 1: word, language, grammar
Handbook of formal languages, vol. 1: word, language, grammar
Handbook of formal languages, vol. 2: linear modeling: background and application
Handbook of formal languages, vol. 2: linear modeling: background and application
Automata and languages: theory and applications
Automata and languages: theory and applications
Hybrid modes in cooperating distributed grammar systems: internal versus external hybridization
Theoretical Computer Science
Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Mathematical Theory of L Systems
Mathematical Theory of L Systems
Theoretical Computer Science
Grammars with Context Conditions and Their Applications
Grammars with Context Conditions and Their Applications
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems
Language and Automata Theory and Applications
Some New Modes of Competence-Based Derivations in CD Grammar Systems
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
One-sided random context grammars
Acta Informatica
On Cooperating Distributed Grammar Systems with Competence Based Start and Stop Conditions
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Hi-index | 0.00 |
Consider ET0L grammars. Modify them such that a set of permitting symbols and a set of forbidding symbols are attached to each of their rules, just like in random context grammars. A rule like this can rewrite a symbol if each of its permitting symbols occurs to the left of the symbol to be rewritten in the current sentential form while each of its forbidding symbols does not occur there. ET0L grammars modified in this way are referred to as left random context ET0L grammars, and they represent the principal subject of the investigation in this paper. We prove that these grammars characterize the family of recursively enumerable languages, and without erasing rules, they characterize the family of context-sensitive languages. We also introduce a variety of special cases of these grammars and establish their generative power. In the conclusion, we put all the achieved results into the context of formal language theory as a whole and formulate several open questions.