Изменения

*[[Автоматы с eps-переходами. Eps-замыкание]]

*[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]

*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]

*[[Замкнутость регулярных языков относительно различных операций]]

*[[Интерпретация булевых формул с кванторами как игр для двух игроков]]

*[[Доказательство нерегулярности языков: лемма о разрастании]]

*[[Эквивалентность состояний ДКА]]

*[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]