Worldlex Wiki Une table d'implication est un outil utilisé pour faciliter la minimisation des états dans une machine à états . Le concept consiste à supposer que chaque état peut être combiné avec tous les autres états, puis à éliminer les combinaisons qui ne sont pas possibles. Lorsque toutes les combinaisons impossibles ont été éliminées, les combinaisons d'états restantes sont valides et peuvent donc être combinées.
La procédure est la suivante :
- Lister les possibilités de combinaison d'états dans un tableau d'implications,
- Éliminer les combinaisons qui sont impossibles parce que les états produisent des sorties différentes,
- Éliminer les combinaisons qui sont impossibles parce que la combinaison dépend de l'équivalence d'une possibilité précédemment éliminée,
- Répétez l’étape ci-dessus jusqu’à ce qu’aucune autre élimination ne soit possible.
- B. Holdsworth (12 mai 2014). Digital Logic Design. Elsevier Science. pp. 195–. ISBN 978-1-4831-4222-7.
