从无上下文语法中删除空制作

Question

X -> zZ|yW|WW
Y->Z
Z->X|ε
W->Y|X

我是否正确地认为，由于Y只有Z作为它的终端，ε移动到Y给出：

X -> zZ|yW|WW
Y->Z|ε
Z->X
W->Y|X

然后？

X -> zZ|yW|WW|z
Y->Z
Z->X
W->Y|X

Answer 1

你错过了w生产中ε从Y的传播。

X -> zZ|yW|WW|z
Y->Z
Z->X
W->Y|X|ε

然后向上移动：

X -> zZ|yW|WW|z|y|ε
Y->Z
Z->X
W->Y|X

并继续：

X -> zZ|yW|WW|z|y
Y->Z
Z->X|ε
W->Y|X|ε

我们回来了，我们开始了！如果没有ε，这个语法就永远不能写出来。

（除非有人想纠正我？）