142
правки
Изменения
Нет описания правки
*<tex>A \rightarrow a</tex>
*<tex>S \rightarrow \varepsilon</tex> (при условии, что <tex>S</tex> не содержится в правых частях правил)
Избавимся от правил, в правых частях которых записаны два символа, один из которых является терминалом, то есть правил вида <tex>A \rightarrow Bc</tex> и <tex>A \rightarrow bc</tex>.
Введем для каждого терминала <tex>a</tex> "персональный" нетерминал <tex>N_a</tex>.
