Un métamodèle pour les automates de Moore et de Mealy

• Autores: Michel Depeyrot
• Localización: Revista de automática, ISSN 0374-4205, Año 4, Nº. Extra 1, 1971 (Ejemplar dedicado a: Monográfico del Congreso de Automática celebrado en Madrid del 14 al 17 de abril de 1970), págs. 464-471
• Idioma: francés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.