Automation Isε；上下文无关的终端？

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

这样写是真的吗

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

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

---

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

---

实际产量为：

S→ -也就是说，
S
不能产生任何东西-但是什么东西都看不见使得它很难阅读。所以我们通常写ε，它更清晰。不过，你应该把它看作是空的。
你的意思是ε不是语法中的终端，不是吗？@alkokura49:它既不是终端，也不是非终端：它代表一系列语法符号，恰好是空的。同样地，
aSb
既不是终端也不是非终端：它是由三个语法符号组成的序列。ε是一个零符号序列。
G = ({S}, {a, b}, {S ---> aSb, S ---> SS, S ---> ε}, {S})

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