Изменения

Удаление длинных правил из грамматики

Нет изменений в размере, 05:29, 24 января 2012

→‎Пример работы

<tex>A \rightarrow aA_1</tex>,

<tex>A_1 \rightarrow BA_2</tex>,

<tex>A_2 \rightarrow bBcB</tex>.

Для правила <tex>B \rightarrow def</tex> вводим 1 новый нетерминал <tex>B_1</tex> и 2 новых правила:

<tex>A \rightarrow aA_1</tex>,

<tex>A_1 \rightarrow BA_2</tex>,

<tex>A_2 \rightarrow bBcB</tex>,

<tex>B \rightarrow dB_1</tex>,

<tex>B_1 \rightarrow ef</tex>.

Анонимный участник