Reduction des automatas finis non deterministiques

• Autores: Jacques Zahnd
• Localización: I.as Jornadas de Diseño Lógico: del 15 al 17 de julio de 1981, Barcelona : proceedings, 1981, págs. 187-216
• Idioma: francés
• Texto completo no disponible (Saber más ...)
• Resumen

  • En partant de la notion classique de machine séquentielle incomplètement spécifiée, on introduit une généralisation de ce modèle sous la forme de tables d'états qui associent à chaque état présent et à chaque signal d'entrée un ensemble d'états futurs et un ensemble de signaux de sortie. On définit ensuite une fonction de réponse qui caractérise le comportement entrée-sortie d'une telle machine, ce qui permet de poser en termes exacts le problème de sa réduction. On passe en revue quelques applications possibles de ce modèle: synthèse des systèmes digitaux, réseaux de Petri, microprogrammes non déterministes. Ensuite on aborde le problème de la réduction de ces machines. On généralise la notion classique de recouvrement compatible, et l'on montre qu'elle permet de réduire une machine non déterministe. On termine par l'énoncé des pricipaux problèmes ouverts qui peuvent faire l'objet d'une suite de ce travail.