Reduction des machines séquentielles non déterministes
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 sor...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1982 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | francés |
| OAI Identifier: | oai:upcommons.upc.edu:2099/4552 |
| Acceso en línea: | https://hdl.handle.net/2099/4552 |
| Access Level: | acceso abierto |
| Palabra clave: | Numerical analysis Anàlisi numèrica Classificació AMS::65 Numerical analysis |
| Sumario: | 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. |
|---|