228
правок
Изменения
→Устранение непосредственной левой рекурсии
</li>
</ol>
Этот алгоритм не устраняет левую рекурсию,вызванную двумя или более шагами порождения.
===Пример===
<tex>S \rightarrow Aa|b</tex>
<tex>A \rightarrow Ac|Sd|\epsilon</tex>
S леворекурсивен, так как <tex>S \Rightarrow Aa \Rightarrow Sda</tex>, но эта рекурсия не является непосредственной.
==Устранение произвольной левой рекурсии==