Discussion:Minimisation d'un automate fini déterministe

Merci et petit problème de date

Bonjour,

merci beaucoup pour l'article !! Il y a un petit problème de dates pour la référence John E. Hopcroft, Rajeev Motwani et Jeffrey D. Ullman : le harv est 2001, mais la biblio 2007.--Roll-Morton (discuter) 3 décembre 2014 à 15:04 (CET)

Merci pour la relecture attentive. Les références sont réparées. -- ManiacParisien (discuter) 3 décembre 2014 à 19:25 (CET)

Résiduels

Il me semble que le mot « résiduel » devrait apparaître quelque part dans cet article. Mais peut-être est-ce équivalent à une autre notion... --Roll-Morton (discuter) 17 novembre 2015 à 12:02 (CET)

Il y a aussi l'Équivalence de Nerode qui est la base Moore, mais pour Hopcroft je ne sais pas. --Roll-Morton (discuter) 17 novembre 2015 à 12:38 (CET)

C'est vrai. Et « résiduel » est un peu caché dans langage formel ; je vais essayer de le mettre en sous-sous-section pour voir.-- ManiacParisien (discuter) 17 novembre 2015 à 19:43 (CET)

Merci ! --Roll-Morton (discuter) 18 novembre 2015 à 10:39 (CET)

Des articles détaillés ?

Je crois que ça vaudrait le coup d'avoir des articles détaillés pour les algos, mais ça n'est pas une priorité. --Roll-Morton (discuter) 17 novembre 2015 à 17:56 (CET)

Trois articles : Brzozowski, Moore, Hopcroft ? Pourquoi pas. Je crois que dans les autres langues, ce n'est pas aussi détaillé ? -- ManiacParisien (discuter) 17 novembre 2015 à 19:39 (CET)

En anglais Moore est détaillé je crois. C'était juste une proposition, pour pouvoir déplacer et développer le contenu un peu technique (pseudo-code, complexité etc.), et pouvoir centrer sur les concepts importants et les différences entre les méthodes. --Roll-Morton (discuter) 18 novembre 2015 à 10:41 (CET)