Automates finis non déterministes minimaux non isomorphes

Quelqu'un peut-il fournir un exemple de deux automates non déterministes (NFA) minimaux équivalents (reconnaissant le même langage) qui ne sont pas isomorphes?

fl.formal-languages automata-theory

— Guy Vidal-Naquet
source

Voir le commentaire de mikero sur cstheory.stackexchange.com/questions/10829/…

— Tsuyoshi Ito

Réponses:

Voir l' article (postscript)

Arnold, Dicky, Nivat. Une note sur les automates minimaux non déterministes

— Hendrik Jan
source

Merci pour le partage! Leur article comprend un bel exemple. :)

— Michael Wehar

$L_6$ $a^n$ $n$

L'un d'eux est essentiellement le DFA minimal, l'autre devine s'il ne s'agit pas d'un multiple de 2 ou non d'un multiple de 3.

— Thomas S
source

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.