为空性在语法分析表

Question

鉴于以下语法，为什么Z说是不可空

X -> Y | a 
Y -> c | epsilon 
Z -> X Y Z | d 

Answer 1

因为它不包含epsilon（空）。例如，Y可以为空，因为Y可以定义为epsilon。由于X，因为X被定义为Y或a。如果我们将Y设置为epsilon，那么X也是epsilon。

有趣的是，如果ž被定义为仅XY，则存在用于ž的可能性也可为空的，因为X和ÿ可以同时设置为epsilon（如以上）从而使žepsilon，但由于ž必须ž，最终必须在终端END END d（为什么？），Z不能为空。