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.
Fournit une vue d'ensemble des machines à états finis, couvrant leur conception, leur analyse et leurs applications pratiques dans les systèmes numériques.
