Лемма. Об избавлении от непосредственной левой рекурсии

${\gamma }_i,{\beta }_j\in (\Gamma \cup \Sigma ),i=1,\dots ,s;j=1,\dots ,m$

Доказательство

---

Связанные теоремы/определения

• Порождающая грамматика
• Непосредственная левая рекурсия