我正在为构建一个好的CFG而努力。L={xE{0,1}* | 偶数长度,最多两个0}。
L={xE{0,1}* |
所以像 L={11, 10, 0011...}
L={11, 10, 0011...}
我正在用下面的尝试进行尝试。
S -> E | E0A | A0E | E0E0E | 00EA | EA00 E-> 1A | e A -> 1E
我正在运行不同的推导,它们似乎很有意义,但我仍然不确定我的语法是否正确,或者是否有更好的方法来改进它?非常感谢你,我一直在努力学习CFG,我试图多练习以帮助我理解。