Изменения

#<ol><li>[[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками]]</li>#<li>[[Регулярные языки: два определения и их эквивалентность | Регулярные языки: два определения и их эквивалентность, регулярные выражения]]</li>#<li>[[Детерминированные конечные автоматы]]</li>#<li>[[Прямое произведение ДКА]]</li>#<li>[[Простой сопоставитель регулярных выражений]] <tex> \star </tex></li>

#<li>[[Недетерминированные конечные автоматы]]</li>#<li>[[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]]</li>#<li>[[Автоматы с eps-переходами. Eps-замыкание]]</li>#<li>[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]</li>#<li>[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]</li>

#<li>[[Эквивалентность состояний ДКА]]</li>#<li>[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]</li>#<li>[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]</li>#<li>[[Алгоритм Бржозовского]]<tex> ^\star </tex></li>

#<li>[[Доказательство нерегулярности языков: лемма о разрастании]]</li>#<li>[[Интерпретация булевых формул с кванторами как игр для двух игроков]]</li>#<li>[[Решение уравнений в регулярных выражениях]]</li>#<li>[[Замкнутость регулярных языков относительно различных операций]]</li>#<li>[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]</li>#<li>[[Контексты и синтаксические моноиды]]</li>

#<li>[[Локальные автоматы]]<tex> ^\star </tex></li>#<li>[[Двусторонний детерминированный конечный автомат]]<tex> ^\star </tex></li>#<li>[[Квантовые конечные автоматы]]<tex> ^\star </tex></li>#<li>[[Автоматы Мура и Мили]]<tex> ^\star </tex></li>#<li>[[Автоматы в современном мире]]<tex> ^\star </tex></li></ol>