Groupe Danone
所以，不收缩文法，Kuroda 范式的文法，和上下文有关文法有同样的表达能力。