Изменения

== 2. Контекстно-свободные грамматики ==

## примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить

## определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.

## Источник бесполезен без конкретного указания, где искать

## Внутреннюю ссылку на ДКА

## нормально оформить уже существующий источник

## добавить англоязычные термины

## а еще тут стрелки одинаковые и в правилах (надо <tex>\to</tex>) и в выводе (надо <tex>\Rightarrow</tex>)

## пояснить, почему грамматика из первого примера неоднозначна, и привести пример аналогичной однозначной с док-вом. Написать, что есть КС-языки, для которых нет однозначных КС-грамматик, сослаться на существенную неоднозначность.

# [[Удаление бесполезных символов из грамматики]]

# [[Удаление eps-правил из грамматики]]