Resumen de Un métamodèle pour les automates de Moore et de Mealy
Les modèles de machines sequientielles synchrones (Mealy 1955) et asynchrones-synchronisées (Moore 1956) peuvent être étudiés algébraiquement au moyen de la théorie des opérandes. Un algorithme simple de conversion prouve l'équivalence des deux modèles ainsi qu'une nouvelle relation entre leurs nombres d'états et amène à definir un automate décomposable parap roduit pseudo-direct (Depeurot: Un algorithme rapide de dècomposition. Brixelles, septembre 1969) ayant pour composant de proue la machine de Moore équivalent, et pour composant de gouverne une machine de synchronisation. Il est redondant de sort que la machine de Mealy équivalent peur ête dérivée par minimisation. Les études de Guinsburg sur les automates abstraits et de Gerace sur les réalisations électroniques sont clarifiées par l'emploi de ce métamodèle.
