editor
177
правок
Изменения
м
Нет описания правки
[[Файл:avtomat2.png|350px]] [[Файл:avtomat3.png|350px]]
Эти два автомата принимают слова из языка слов длины не меньше двуходного, состоящих из символов алфавита <tex> \lbrace 0, 1\rbrace </tex>. Все допускающие состояния автоматов эквивалентны между собой.
== Алгоритм проверки эквивалентности автоматов ==
