A variant of random context grammars: semi-conditional grammars
Theoretical Computer Science
Formal languages
A shrinking lemma for random forbidding context languages
Theoretical Computer Science
A pumping lemma for random permitting context languages
Theoretical Computer Science
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Refining the nonterminal complexity of graph-controlled, programmed, and matrix grammars
Journal of Automata, Languages and Combinatorics
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Journal of Computer and System Sciences
On restricted context-free grammars
Journal of Computer and System Sciences
Hi-index | 0.00 |
Many rewriting systems with context-free productions and with controlled derivations have been studied. On one hand, these systems preserve the simplicity of applications of context-free productions and, on the other hand, they increase the generative power to cover more aspects of natural and programming languages. However, with @l-productions, many of these systems are computationally complete. It gives rise to a natural question of what are the simplest restrictions of the derivation process of context-free grammars to obtain the universal power. In this paper, we present such a simple restriction introducing so-called restricted context-free rewriting systems. These systems are context-free grammars with a function assigning a nonterminal coupled with + or - to each nonterminal. A production is applicable if it is applicable as a context-free production and if the symbol assigned to the left-hand side of the production is coupled with +, then this symbol has to appear in the sentential form, while if coupled with -, it must not appear in the sentential form. This restriction is simpler than most of the other restrictions, since the context conditions are assigned to nonterminals, not to productions, and their type is the simplest possible - a nonterminal.