Displaying similar documents to “Détermination simultanée de l'engagement réel de 450 machines”

Reduction des machines séquentielles non deterministes.

Jacques Zahnd (1982)

Qüestiió

Similarity:

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...