乔姆斯基范式删除 epsilon 转换

Question

我正在努力将 CFG 转换为乔姆斯基范式，但我遇到了一些困难。

我有这个 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-> A？

Answer 1

你不能把这个文法转换成没有 ε 的文法，因此它不能写成乔姆斯基范式。这是因为所有产生式都可以归约为 ε，因此 ε 是该语言中的有效句子。