Machines séquentielles

Voir Plus Voir Moins

Afficher le Résumé

Le livre Machines séquentielles de Jacques Zahnd (1987), publié dans la collection Traité d’Électricité de l’EPFL, présente une étude complète et rigoureuse des systèmes logiques séquentiels — des systèmes dont la sortie dépend non seulement des entrées actuelles, mais aussi de leur histoire à travers des états internes. L’auteur y développe une approche mathématique et méthodique de la modélisation, de l’analyse et de la synthèse de ces machines. Après avoir posé les bases théoriques nécessaires (ensembles, fonctions, signaux discrets), Zahnd définit formellement les notions de machines séquentielles, notamment les modèles de Mealy et Moore, et explique comment les représenter par des équations, des graphes d’état ou des expressions régulières. Il aborde ensuite la réduction des machines pour éliminer les états redondants, ainsi que le codage (ou assignement) des états pour faciliter leur implémentation dans des circuits logiques. L’ouvrage met aussi en avant des techniques de décomposition et de composition de machines, permettant de concevoir des systèmes complexes à partir de blocs plus simples. À travers de nombreux exemples, Zahnd relie la théorie à la pratique, tout en conservant une grande rigueur scientifique. Ce livre constitue une référence fondamentale pour les étudiants et ingénieurs en électronique numérique, en automatique ou en informatique, offrant une compréhension claire des principes de fonctionnement et de conception des automates séquentiels.

Voir le Sommaire