Изменения

<tex>A \rightarrow B C </tex>.,

<tex>A \rightarrow a </tex>.,

<tex>S \rightarrow \varepsilon </tex>.,

(где <tex> a </tex> {{---}} терминал, <tex> A, B, C </tex> {{---}} нетерминалы, <tex> S </tex> {{---}} стартовая вершина, <tex> \varepsilon </tex> {{---}} пустая строка, стартовая вершина не содержится в правых частях правил).