从CFG转换为Chomsky范式？

Question

考虑上下文无关文法G =（{S，B，E}，{0，1，i，e，s}，R，S），其中R为：

S --> iBSE | s
B --> 0 | 1
E --> lambda | eS

好了，因此我删除了lambda并得到了：

S0 --> S
S --> iBS | iBSE | s
B --> 0 | 1
E --> eS

现在，我正在尝试删除单元/链规则以及其他规则，这就是我到目前为止所拥有的：

S0 --> X
X --> YS
S --> BS
S --> BSE
S --> s
B --> 0
B --> 1
E --> ZS
Y --> i
Z --> e

但我知道S0-> X和S-> BSE无效。 我怎样才能解决这个问题？ 感谢您的任何帮助！ :)

Answer 1

您创建了X吗？ 如果这样， S0-->S是一个更好的主意。 然后，要从S的右侧移除S，应使用非端子。 S0 --> SS --> BS | BSE | s S0 --> SS --> BS | BSE | s要替换像BS与非终端的事情： S --> P | PE | s P --> BS S --> P | PE | s P --> BS S --> P | PE | s P --> BS如果您可以指定上下文（对于lambda，以及用于epsilon的内容），我可能会获得更多帮助，但是Google可以提供很多计算理论幻灯片找到适合您的产品，他们对自己很有帮助（如果您找到合适的产品）。