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.