Изменения

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

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

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

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

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

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

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

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

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

## Че за --? Заменить на —

## Half некрасивый, в \mathrm его

## побольше внутренних ссылок, на МП-автомат там, например

## проставить категории

## запилить пример (уже есть)

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

## асимптотики какие-нибудь нужны

## ну и надо добавить ссылку на нормальную форму Хомского в какой-нибудь См. также

## запилить пример (уже есть)

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

## асимптотики какие-нибудь нужны. Вроде для произвольной грамматики это сложно посчитать, но можно: 1. сослаться куда-нибудь на оценки асимптотики. 2. привести пример, на котором будет экспоненциальное время работы (вроде тут так можно) 3. написать, что обычно этот алгоритм запускается после удаления длинных правил, и там все полиномиально (сослаться на НФХ)

## для алгоритма поиска eps-порождающих точно можно асимптотику написать

## как-то странно в примере, на первом шаге вроде надо взять все пары (A, A), (B, B), (C, C), (D, D)

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

## ну и надо добавить ссылку на нормальную форму Хомского в какой-нибудь См. также

## асимптотику

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

## если есть, ссылок на википедию.

## ну и надо добавить ссылку на нормальную форму Хомского в какой-нибудь См. также

## асимптотику

## "Несколько определений" — а определение одно, выкинуть вообще этот пункт и вынести определение НФХ в заголовок

## если есть, ссылок на википедию.

# [[Автоматы с магазинной памятью]]

# [[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]

## Исправить оформление списков: нужно использовать либо точки, либо нумерацию числами/символами, но не оба способа одновременно.

## Картинка. Что она означает?