Parsing 带Epsilon或Lambda的语法

Parsing 带Epsilon或Lambda的语法,parsing,grammar,context-free-grammar,parse-tree,Parsing,Grammar,Context Free Grammar,Parse Tree,所以我有一套语法 S -> X Y X -> a X X -> Y -> b Z -> a Z Z -> a 我唯一对这种语法感到困惑的是X的第二部作品 那里什么都没有。这是否等同于使用ε或λ 我假设这只是语法符号上的差异,但我想确定的是,当我试图构建第一个和后续集合时,ε和λ(有时是∧)都被不同的编写者用来表示空字符串。在现代写作中,ε更为常见,但你经常会在旧课本中发现λ,甚至在旧课本中也会发现∧ 使用这些符号的目的是使空序列可见。无论它是如何编写的,它

所以我有一套语法

S -> X Y
X -> a X
X -> 
Y -> b
Z -> a Z
Z -> a
我唯一对这种语法感到困惑的是X的第二部作品

那里什么都没有。这是否等同于使用ε或λ

我假设这只是语法符号上的差异,但我想确定的是,当我试图构建第一个和后续集合时,ε和λ(有时是∧)都被不同的编写者用来表示空字符串。在现代写作中,ε更为常见,但你经常会在旧课本中发现λ,甚至在旧课本中也会发现∧

使用这些符号的目的是使空序列可见。无论它是如何编写的,它都是空序列,应该像在您的产品
X中一样读取它,就像它什么都没有一样⇒ 


如果你觉得很难理解一个符号意味着什么,那么你可能会喜欢阅读查尔斯·塞夫的《零:一个危险想法的传记》或罗伯特·卡普兰的《零即是:零的自然历史》,这两本书都是在象征性的2K年出版的,它们都探索了理解“无”概念的漫长而艰难的斗争。(“没有人出去买零鱼”——阿尔弗雷德·诺斯·怀特黑德)



有人认为∧/λ来自德语单词“leer”,意思是空的,而ε来自英语单词“empty”。曾经有一段时间,德语在数学逻辑的学术讨论中更为常见,因此该理论似乎是合理的。

我的解释是,是的,第二个结果可以为空并产生ε。你知道这是否也通常被称为lamda吗?谢谢@rici。评论撤回。另见