Nieizomorficzne minimalne niedeterministyczne automaty skończone

Czy ktoś może podać przykład dwóch równoważnych (rozpoznających ten sam język) minimalnych niedeterministycznych automatów (NFA), które nie są izomorficzne?

Zobacz artykuł (postscriptum)

Arnold, Dicky, Nivat. Uwaga na temat minimalnych niedeterministycznych automatów

Wzdłuż innej linii: zestaw łańcuchów w formie , gdzie jest nie wielokrotność 6 zawiera dwa różne minimalne NFAs. $L_6$$a^n$$n$

Jeden z nich to w zasadzie minimalny DFA, drugi zgaduje, czy nie jest wielokrotnością 2, czy nie wielokrotnością 3.