Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
En utilisant les concepts d'accessibilité et d'équivalence à l'ordre k, il est possible de développer une méthode rapide et efficace, qui s'applique au problème de la minimisation des machines séquentielles complètement spécifiées, soumises à des séquences d'entrée de longueur k et dont les états initiaux forment un sous-ensemble fixe de l'ensemble des états. Un exemple d'application illustre l'algorithme.
