context-free-grammar - 从上下文无关语法中删除 epsilon 产生式

Question

我只是在语法的一部分上遇到了问题：

C -> CBA | epsilon

删除 epsilon 产品后，我得到：

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

我很困惑这是否正确。在文法中，B 也是一个可为空的变量。我是否还必须在后一种语法中包含 CA 和/或 A？

任何帮助表示赞赏。