Изменения

Рассмотрим следующую грамматику: <br>

S\rightarrow Ac\\

A\rightarrow SD\\

A\rightarrow a

</tex>

# Изначально множество порождающих нетерминалов состоит из одного элемента <tex>A</tex>.

# Добавим в множество нетерминал <tex>S</tex>, так как существует правило <tex>S\rightarrow Ac</tex>, в правой части которого стоят нетерминал <tex>A</tex>, который есть в множестве, и терминал <tex>c</tex>.

Рассмотрим следующую грамматику:<br>

S\rightarrow AB|CD\\

A\rightarrow EF\\

=== Пример ===

S\rightarrow AS|BS|s \\

E\rightarrow EF|FF \\

F\rightarrow f

</tex><br>

S\rightarrow AS|s \\

E\rightarrow EF|FF \\

F\rightarrow f

</tex><br>

S\rightarrow AS|s \\

A\rightarrow a

Рассмотрим следующую грамматику: <br>

S\rightarrow AB|a \\

A\rightarrow b