317
правок
Изменения
→Приведение грамматики к ослабленной нормальной форме Грейбах
Для каждого правила вывода из <tex> A_j \rightarrow \delta_1 | \ldots | \delta_k </tex> заменить каждое правило <tex> A_i \rightarrow A_j \gamma </tex> на <tex> A_i \rightarrow \delta_1\gamma | \ldots | \delta_k\gamma </tex>.
После каждой итерации главного цикла все правила для <tex> A_k </tex> (где <tex>k \ge geqslant i</tex>) будут иметь вид <tex> A_k \rightarrow a \gamma </tex>.
Значит, после применения процедуры все правила грамматики будут иметь вид <tex> A \rightarrow a \gamma </tex>.
