是 ？上下文无关的终端？

Question

R: S ---> aSb\n   S ---> SS\n   S ---> \xce\xb5\n

\n\n

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

\n\n

这样写是真的吗？

\n\n

G = ({S}, {a, b}, {S ---> aSb, S ---> SS, S ---> \xce\xb5}, {S})\n

\n\n

或者像这样（将 epsilon 添加到终端）：

\n\n

G = ({S}, {a, b, \xce\xb5}, {S ---> aSb, S ---> SS, S ---> \xce\xb5}, {S})\n

\n\n

哪个是正确的？

\n

Answer 1

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

\n\n

实际的生产是：S →  ——也就是说，S什么也生产不了——但是什么都看不见，所以很难阅读。所以我们通常写\xce\xb5，这样更易​​读。不过，你应该把它当作什么都没有读。

\n