Terminating left-hand sides of scattered context productions M. Nivat

AbstractThe left-hand side of a scattered context production, (A1,A2,…,An)→(x1,x2,…,xn), is terminating if A1A2…An 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 powerful 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