我正在将 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?