3622
правки
Изменения
м
→Приведение грамматики к ослабленной нормальной форме Грейбах
#* <tex> A_i \rightarrow A_j \gamma </tex>, где <tex> A_i </tex>, <tex> A_j </tex> {{---}} нетерминалы, <tex> a </tex> {{---}} терминал, <tex> \gamma </tex> {{---}} произвольная последовательность из терминалов и нетерминалов, <tex> i < j </tex>.
#Воспользуемся следующей функцией для придания грамматике нужного вида:
'''function''' greibah(правила <tex>A_1 \dots A_n</tex> из контекстно-свободной грамматики <tex> \Gamma </tex>) :
'''for''' i = n .. 1
'''for''' j = i + 1 .. n
