Resumen de Reduction des machines séquentielles non deterministes
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: synthese 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 principaux problèmes ouverts qui peuvent faire l'objet d'une suite de ce travail
