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.
págs. 1-14
págs. 15-29
págs. 30-47
Systemes digitaux: modele de base, types de materialistion, microprocesseurs
págs. 48-99
págs. 100-151
págs. 152-171
págs. 172-186
págs. 187-216
págs. 217-262
Realización cableada de Redes de Petri binarias
Jovita Martínez, Manuel Silva Suárez, Santiago Velilla Marco
págs. 265-275
Síntesis de sumadores bipolares
Mariano Mellado Rodríguez, Esther Alonso Rentería, José Manuel Tarela Pereiro
págs. 276-286
págs. 287-296
págs. 297-310
© 2001-2024 Fundación Dialnet · Todos los derechos reservados