我试图从语法中删除左递归，但是在遵循算法这样做之后我现在相信我生成的语法允许推导出无效的语句。
语法的一部分如下：
A - ＆gt; a A b A c A d
A - ＆gt; e A
A - ＆gt; ˚F
A - ＆gt; A + A
A - ＆gt; A * A
所以根据我的理解，底部的两个产品是直接左递归，并且删除左递归的方法是引入一个新的非终结A＆＃39;然而我得到这个：
A - ＆gt; a A b A c A d A＆＃39;
A - ＆gt; e A A＆＃39;
A - ＆gt; f A＆＃39;
一个＆＃39; - ＆GT; + A A＆＃39;
一个＆＃39; - ＆GT; * A＆＃39;
一个＆＃39; - ＆GT;小量
然而，这允许推导 a A b A c A d * f
这不是原始语法的有效推导。请有人请解释我做错了什么？