t和Ullman在1979年书中例子 9.5 (p. 224)。
范式.不生成空串的所有上下文有关文法都可以被变换成等价的Kuroda范式的文法。这个“等价”意味着两个文法生成同样的语言。这种范式一般不是上下文有关的，但却是不收缩文法。
计算的性质和使用.特定字符串 "s" 是否属于特定上下文有关文法 "G" 的语言的判定问题是 PSPACE-完全的。实际上，甚至有些上下文有关文法的固定文法识别问题也是 PSPACE-完全的。上下文有关文法的空虚（em