Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

391 байт добавлено, 20:23, 26 ноября 2014
Изоморфизм двух автоматов
== Изоморфизм двух автоматов ==
{{Определение
|definition=
Автоматы называются изоморфными, если существует биекция между их вершинами такая, что
сохраняются все переходы, терминальные состояния соответствуют терминальным а начальные –
начальным
}}
{{Задача
|definition =
Анонимный участник

Навигация