Итак, у меня есть эта левая рекурсивная грамматика
E → E Op1 E2 | E2
В нынешнем виде это левая рекурсия, поэтому я устранил левую рекурсию, добавив еще один шаг:
E → X E2
X → E Op1 E2 | ε
Однако у меня есть подозрение, что я удалил его неправильно, потому что, если я отследю его, то ПЕРВЫЙ набор E
все равно будет начинаться с E
. Я прав? Или я что-то упускаю? Этот вопрос является частью более крупного набора грамматик, FYI.