Неизоморфные минимальные недетерминированные конечные автоматы


12

Может ли кто-нибудь привести пример двух эквивалентных (распознающих один и тот же язык) минимальных недетерминированных автоматов (NFA), которые не являются изоморфными?


7
См. Комментарий mikero на cstheory.stackexchange.com/questions/10829/…
Tsuyoshi Ito

Ответы:


11

Смотрите статью (постскриптум)

Арнольд, Дики, Ниват. Замечание о минимальных недетерминированных автоматах

введите описание изображения здесь


1
Спасибо, что поделились! Их статья включает в себя хороший пример. :)
Майкл Вехар

4

L6annДва минимальных NFA за $ L_6 $.

Один из них в основном минимальный DFA, другой догадывается, не является ли он кратным 2 или не кратным 3.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.