Изменения

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

# [[Формальные грамматики]]

## Пояснить пример контекстно-зависимой грамматики

## Расшифровать RTN (то же с MT)

## Источники информации нормально оформить

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

## Англоязычных термины нормально оформить

## Англоязычные термины нормально оформить

## Отформатировать псевдокод

# '''!!!''' [[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]]

## Аккуратно помёрджить с аналогичным конспектом первого курса

## Перенести описание алгоритма перед псевдокодом

## Хотелось бы адекватные доказательства читать (см. обсуждения)

# '''!!!''' [[Лемма о разрастании для КС-грамматик]]

## Добавить пример не КС-языка, который удовлетворяют условию леммы

## Англоязычные термины оформить правильно

## Ссылки из См. также перенести в источники информации

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

## Картинки увеличить