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
la source
la source
Réponses:
Voir l' article (postscript)
Arnold, Dicky, Nivat. Une note sur les automates minimaux non déterministes
la source
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.
la source