3622
правки
Изменения
→1. Автоматы и регулярные языки
## Добавить правку про <state> \cdot <word> из обсуждений
## Картинки (автомата правых контекстов хотя бы)
## Кривое начало рассуждения в лемме о конечности двухсторонних контекстов
== 2. Контекстно-свободные грамматики ==