Изменения

*[[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]]

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

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

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

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