3622
правки
Изменения
Нет описания правки
*[[Автоматы с eps-переходами. Eps-замыкание]]
*[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]
*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]<tex> ^\star </tex>
=== Минимизация ДКА ===
*[[Эквивалентность состояний ДКА]]
