Chomsky Normal形式去除epsilon过渡

Question

我正在努力将CFG转换为Chomsky Normal Form，但我遇到了一些困难。

我有这个CFG

A-> BAB|B|epsilon B -> 00|epsilon

好的，我添加了一个新的开始状态

S -> A A-> BAB|B|epsilon B -> 00|epsilon

然后我必须删除epsilon过渡，所以我从B

开始

S -> A A-> BAB|B|AB|BA|A|epsilon B -> 00

如何从A中删除epsilon？它的开头可以有一个epsilon吗？我如何转换A-＆gt; ？A

Answer 1

您无法将此语法转换为没有ε的语法，因此无法以Chomsky Normal格式编写。这是因为所有产品都可以减少到ε，因此ε是该语言中的有效句子。