Membership for growing context-sensitive grammars is polynomial
A context-sensitive grammar is a growing context-sensitive grammar, if the right-hand side of every production is strictly longer than the left- hand side. We show that for any fixed growing context sensitive grammar, the membership problem for the corresponding language is polynomial.
scientific article; zbMATH DE number 4016213
scientific article