上下文无关文法的简化

Question

给定上下文无关语法G = ( {S, A, B, C} , {0, 1} , P , S)，其中产生式集P 是：

S → 0A0 | 1B1 | BB
A → C
B → S | A
C → S | λ

我应该删除无用的符号。

我的问题是，我是否应该在应用算法时将空字符串 λ 视为此处的终端，同时在该算法中创建一个新集合 V'，其中包含导致直接推导的符号，然后添加到产生终端和变量组合的 V' 符号在V'。 任何指导表示赞赏， 谢谢

Answer 1

λ 不是终端，你不应该把它变成终端。然而，它是一个（微不足道的）“终端和非终端的组合”。