Algorithme de Moore de minimisation d'un automate fini
De Wikipedia, l'encyclopédie encyclopedia
L'algorithme de Moore de minimisation d'un automate fini est un algorithme qui calcule l'automate fini déterministe complet minimal équivalent à un automate fini déterministe complet donné. Il est attribué à Edward F. Moore[1]. L'algorithme est simple à décrire, facile à programmer, et efficace en moyenne et dans le pire des cas. Il figure dans les manuels usuels d'informatique théorique[2].
Article principal : Minimisation d'un automate fini déterministe.