我试图证明以下内容:
如果G是乔姆斯基范式中的无上下文语法,那么对于任何字符串w属于长度n≥1的L(G),它需要恰好2n-1步才能得出w的任何推导.
我该如何证明这一点？
theory grammar context-free-grammar chomsky-normal-form
chomsky-normal-form ×1
context-free-grammar ×1
grammar ×1
theory ×1