Il s'agit ici de donner les techniques de base permettant la synthèse de machines d'états finis sous la forme de circuits électroniques logiques composés de portes logiques et de bascules. Le cours traitera le cas synchrone (méthode d'Huffman-Mealy) et asynchrone. Pour ce qui est du cas asynchrone, l'accent sera mis sur une synthèse sans aléas. Des travaux pratiques utilisant la suite logicielle ISPVlever (Lattice Semiconductor) permettront de réaliser des automates simples à partir d'une description soit sous la forme d'une saisie de schéma, soit sous la forme d'un code ABEL-HDL. Les automates seront implémentés dans des GAL ou des FPGA.