为什么消除左递归算法要求输入不能有空产生式

如果文法中含有空产生式，会对算法有什么影响吗？
我尝试了这个文法：
S→Aa|b|ε
A→Aa|Sc|ε
最终可以得到消除后的文法：
S→Aa|b|ε
A→bcA'|cA'|A'
A'→aA'|acA'|ε
似乎空产生式对这个算法没有影响