您正在寻找的答案是here
它所说的是任何epsilon转换都可以表示为更少的简单转换。 epsilon过渡是模糊的。为了计算这种模糊性，您需要从给定的转换中生成所有可能的结果。
示例1：
A -> aA | e
是
A-> a
A-> aA
示例2：
B->A b A
A->a | e
是
B -> z | A z | z A | A z A
A -> a
其中e代表ε（ε）跃迁
您可以看到，您必须从epsilon转换中生成所有可能的结果，以便掩盖歧义。我认为如何在计算上表达歧义是很有趣的。
来源例如2 here