automation - ε 终结符是上下文无关的吗？

Question

R: S ---> aSb
   S ---> SS
   S ---> ε

我应该如何编写这些表达式的语法？

这样写是真的吗？

G = ({S}, {a, b}, {S ---> aSb, S ---> SS, S ---> ε}, {S})

或者像这样(将 epsilon 添加到终端):

G = ({S}, {a, b, ε}, {S ---> aSb, S ---> SS, S ---> ε}, {S})

哪个是正确的？

Answer 1

ε 是一种使零长度序列可见的方法。它不是语法符号。

实际的产生是:S →   - 也就是说，S 不能产生任何东西 - 但没有任何东西的不可见性使其难以阅读。所以我们通常写成ε，这样更易​​读。不过，您应该将其视为无意义。