Cette séance de cours couvre la conception et la synthèse des machines à états finis (FSM). Les sujets incluent les étapes impliquées dans la conception FSM, telles que l'exhaustivité et la cohérence des états, les états fantômes, les tables de transition et la définition des tables de code. Des exemples et des tables de vérité sont utilisés pour illustrer les concepts.