Result Details
Terminating Left-Hand Sides of Scattered Context Grammars
This paper discusses scattered context grammars whose sentential forms contain sequences of nonterminals formed by shuffling the terminating left-hand sides of productions.
scattered context grammars, left-hand sides of productions, context-sensitive languages
The left-hand side of a scattered context production, (A_1, A_2, \ldots, A_n) \to (x_1, x_2, \ldots, x_n), is terminating if A_1 A_2 \ldots A_n derives a terminal word. This paper discusses scattered context grammars whose sentential forms contain sequences of nonterminals formed by shuffling the terminating left-hand sides of productions. It proves that these grammars do not generate some context-sensitive languages, so they are less than the scattered context grammars whose sentential forms are unrestricted. In its conclusion, this paper demonstrates the impact of this result and discusses open problems.
@article{BUT191793,
author="Alexandr {Meduna}",
title="Terminating Left-Hand Sides of Scattered Context Grammars",
journal="Theoretical Computer Science",
year="2000",
volume="2000",
number="237",
pages="424--427",
issn="0304-3975"
}