导的上下文无关文法

最后，我想下面的CFG转换成Chomsky范式：导的上下文无关文法

S→aSbS∣bSaS∣ε

但是，我不知道如果我做正确的推导 - 这里是我：

与终端

更换终结符号

S→aabb 

S→ε

有人能告诉我，如果这是正确的/在正确的轨道上？

谢谢。

更多的组合所产生的语言的有效句子是比那些已列出的可能。 – Ashalynd 2014-10-05 21:02:11

http://en.wikipedia.org/wiki/Chomsky_normal_form – Ashalynd 2014-10-05 21:08:15

@Ashalynd这是正确的吗？ 012-A-> a B-> b C-> AS D-> BS S-> CD | DC |ε – user3000731 2014-10-07 18:07:07

由于@Ashalynd写，你应该读一点more about Chomsky Normal Form：

Chomsky范式意味着没有ε，也没有复杂的语句。

你拥有的语法包含ε，并且因此不能被变换成作为CNFε是在通过S.

2015-05-27 11:30:12

回答