Изменения

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

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

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

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

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

*[[Решение уравнений в регулярных выражениях]]

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

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