Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
Couvre la conception d'une machine d'état fini pour un système de serrure de porte et explique le modèle Moore FSM avec la validation de clé et les indicateurs de LED.
Couvre la conception et la synthèse des machines à états finis, y compris l'exhaustivité, la cohérence, les états fantômes et les tables de transition.