Conception et synthèse FSM

Cette séance de cours couvre la conception et la synthèse de machines à états finis (FSM), en se concentrant sur des étapes telles que l'exhaustivité, la cohérence et la gestion des états fantômes. Il explique comment créer des tables de transition et des tables de code, en s'assurant que le FSM est à la fois complet et cohérent. Des exemples illustrent des états incomplets et incohérents, en soulignant l'importance de remplir des conditions spécifiques pour chaque état. La séance de cours se termine par la discussion sur les états fantômes, les codes inutilisés dans le tableau de codes et les différentes approches pour les gérer.