Лемма. О левой факторизации

$\alpha ,{\beta }_i\in (\Sigma \cup \Gamma {)}^{\ast },i=1,\dots ,n$

${\beta }_i,i=1,\dots ,n$ могут быть $ϵ$

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

Очевидно

---

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

• Контекстно-свободная грамматика
• Эквивалентность грамматик