我一直在关注编译器设计的this视频教程系列。当前视频是关于计算预测解析表中的第一个和后续函数。我的问题是针对以下生产规则
Z-->XYZ Y--> c X-->a
Z-->d Y-->E(epsilon) X-->bYe
我们可以将X减少为E空字符串。或者以另一种方式X可以为空。在我看来，当我们使用规则时，X-->bYe X可以缩减为Y，因此非终端符号X可以自Y-->E (epsilon)起为空。
导师说X不可空，因此我很困惑。如果有人能清除我的困惑，将不胜感激。该视频系列于4年前发布，我没有得到视频作者的回复。