Reduction des machines séquentielles non deterministes.

Título original	Reduction des machines séquentielles non deterministes.
Título inglés	Reduction of nondeterministic sequential machines.
Título español	Reducción de máquinas secuenciales no deterministas
Autor/es	Zahnd, Jacques
Organización	Éc. Politech. Féd., Lausanne, Suiza
Revista	0210-8054
Publicación	1982, 6 (2): 179-192, 9 Ref.
Tipo de documento	articulo
Idioma	Francés
Resumen inglés	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.
Clasificación UNESCO	120399
Palabras clave español	Autómatas ; No-determinismo
Acceso al artículo completo