Sur une méthode algorithmique de synthése d'une machine séquentielle

Dans le problème de la synthèse d'une machine séquentielle, on peut, grosso modo, distinguer trois étapes : le passage des données du système à construire à la représentation tabulée (table de fluence ou table des phases, dans le cas d'un système asynchrone);le codage des états internes de cette table (de façon,dans le cas d'une machine synchrone, à obtenir si possible une décomposition en sous-machines, et,dans le cas d'une machine asynchrone, de façon à éviter les phénomènes de courses et d'aléas); enfin,l'écriture des équations et le dessin du schéma logique de la machine (en essayant par exemple de minimaliser le nombre de composants nécessaires à la. réalisation du circuit).