Изменения
→Пример работы
<tex>A \rightarrow aA_1</tex>, <br>
<tex>A_1 \rightarrow BA_2</tex>, <br>
<tex>A_2 \rightarrow bBcB</tex>. <br>
Для правила <tex>B \rightarrow def</tex> вводим 1 новый нетерминал <tex>B_1</tex> и 2 новых правила: <br>
<tex>A \rightarrow aA_1</tex>, <br>
<tex>A_1 \rightarrow BA_2</tex>, <br>
<tex>A_2 \rightarrow bBcB</tex>, <br>
<tex>B \rightarrow dB_1</tex>, <br>
<tex>B_1 \rightarrow ef</tex>. <br>