271
правка
Изменения
м
→Приведение грамматики к ослабленной нормальной форме Грейбах
#Воспользуемся [[Устранение_левой_рекурсии|алгоритмом устранения левой рекурсии]].
#:Получим грамматику <tex> \Gamma_2 </tex>, все правила которой будут иметь следующий вид:
#::*<tex> A_i \rightarrow a \gamma </tex>,#::*<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>.
#Воспользуемся следующей процедурой для придания грамматике нужного вида.
