275
правок
Изменения
м
→Пример
|-
|style="background:#ffffff"|''1. Удаление длинных правил''
|style="background:#ffffff"|<tex>S\rightarrow aS_{1}|aZ</tex> <br> <tex>S_{1}X\rightarrow XS_{2}aY|bY|\varepsilon</tex> <br> <tex>S_{2}Y\rightarrow yXX|cc</tex> <br> <tex>XZ\rightarrow aY|bY|\varepsilonZX</tex> <br> <tex>YS_{1}\rightarrow X|ccXS_{2}</tex> <br> <tex>ZS_{2}\rightarrow ZXyX</tex>
|-
|style="background:#ffffff"|''2. Удаление <tex>\varepsilon</tex>-правил''
|style="background:#ffffff"|<tex>S\rightarrow aS_{1}|aZ</tex> <br> <tex>S_{1}X\rightarrow XS_{2}aY|S_{2}bY</tex> <br> <tex>S_{2}Y\rightarrow yXaY|bY|ycc</tex> <br> <tex>XZ\rightarrow aY|bYZX</tex> <br> <tex>YS_{1}\rightarrow aYXS_{2}|bY|ccS_{2}</tex> <br> <tex>ZS_{2}\rightarrow ZXyX|y</tex>
|-
|style="background:#ffffff"|''3. Удаление цепных правил''
|style="background:#ffffff"|<tex>S\rightarrow aS_{1}|aZ</tex> <br> <tex>S_{1}X\rightarrow XS_{2}aY|yX|ybY</tex> <br> <tex>S_{2}Y\rightarrow yXaY|bY|ycc</tex> <br> <tex>XZ\rightarrow aY|bYZX</tex> <br> <tex>YS_{1}\rightarrow aYXS_{2}|bYyX|ccy</tex> <br> <tex>ZS_{2}\rightarrow ZXyX|y</tex>
|-
|style="background:#ffffff"|''4. Удаление бесполезных символов''
|style="background:#ffffff"|<tex>S\rightarrow aS_{1}</tex> <br> <tex>S_{1}X\rightarrow XS_{2}aY|yX|ybY</tex> <br> <tex>S_{2}Y\rightarrow yXaY|bY|ycc</tex> <br> <tex>XS_{1}\rightarrow aYXS_{2}|yX|bYy</tex> <br> <tex>YS_{2}\rightarrow aYyX|bY|ccy</tex>
|-
|style="background:#ffffff"|''5. Уберём ситуации, когда в правиле встречаются несколько терминалов.''
|style="background:#ffffff"|<tex>S\rightarrow S_{2}S_{1}</tex> <br> <tex>S_{1}X\rightarrow XS_S_{2}Y|S_X_{31}X|yY</tex> <br> <tex>Y\rightarrow S_{2}\rightarrow S_Y|X_{31}XY|yY_{1}Y_{1}</tex> <br> <tex>XS_{1}\rightarrow S_XS_{2}Y|X_S_{13}YX|y</tex><br> <tex>Y\rightarrow S_{2}Y|X_\rightarrow S_{13}YX|Y_{1}Y_{1}y</tex> <br> <tex>S_{2}\rightarrow a</tex> <br> <tex>S_{3}\rightarrow y</tex> <br> <tex>X_{1}\rightarrow b</tex> <br> <tex>Y_{1}\rightarrow c</tex>
|}
