所以我有一套语法
S -> X Y
X -> a X
X ->
Y -> b
Z -> a Z
Z -> a
我唯一对这个语法感到困惑的是X 的第二次生产
那里什么都没有。这相当于使用Epsilonε或Lamdaλ吗
我认为这只是语法符号的差异，但我想确定，因为我正在尝试构建第一个和第二个集
两者ε和λ；(有时还有Λ(被不同的编写器用来表示空字符串。在现代写作中；要常见得多，但您经常会发现λ在旧的教科书中，以及Λ甚至是更老的。
使用这些符号的目的是使空序列可见。不管它是怎么写的，它都是空序列，应该像在生产X ⇒中一样被读取。
如果你觉得很难理解一个符号意味着什么，那么你可能会喜欢阅读查尔斯·塞夫的《零：危险思想传记》或罗伯特·卡普兰的《无所谓：零的自然史》，两者都发表在具有象征意义的2K年，都探讨了理解无概念的漫长而艰难的斗争。("没有人出去买零条鱼"——阿尔弗雷德·诺斯·怀特黑德(。
有人提出∧/λ来自德语单词"leer"，意思是空的，而ε来自英语"empty"。曾经有一段时间，德语在数理逻辑的学术讨论中更为常见，因此该理论似乎是合理的。