Удаление производства эпсилон из контекстно-свободной грамматики

У меня просто проблемы с одной частью грамматики, которая гласит:

C -> CBA | epsilon

После того, как я удалю продукцию epsilon, я получаю:

C -> CBA | CB | BA | B | A

Я в замешательстве, правильно это или нет. В грамматике B также является переменной, допускающей значение NULL. Должен ли я также включать CA и/или A в последнюю грамматику?

Любая помощь приветствуется.


context-free-grammar chomsky-normal-form
person user1889966    schedule 12.11.2013    source источник
comment
stackoverflow.com/ вопросы/7465342/   -  person rabz100    schedule 12.11.2013
comment
@user1896769 user1896769 спасибо, я думаю, меня смущает то, что происходит, когда только одна переменная имеет значение NULL в производстве, по сравнению с двумя переменными, допускающими значение NULL, и т. д., и как это влияет на результирующую грамматику.   -  person user1889966    schedule 12.11.2013