从无上下文语法中删除epsilon生成

时间:2013-11-12 03:30:04

标签: context-free-grammar chomsky-normal-form

我只是遇到了一部分语法的问题:

C -> CBA | epsilon

删除epsilon作品后,我得到:

C -> CBA | CB | BA | B | A

我对这是否正确感到困惑。在语法中,B也是可以为空的变量。我是否还必须在后一种语法中包含CA和/或A?

任何帮助表示赞赏。

0 个答案:

没有答案