Journal de génie électrique et de technologie électronique

Simplification des machines séquentielles incomplètement spécifiées

Vice-chancelier Prasad

Simplification des machines séquentielles incomplètement spécifiées

La plupart des livres de premier cycle et de la littérature de recherche décrivent des méthodes basées sur des ensembles compatibles pour réduire le nombre d'états d'une machine séquentielle synchrone/asynchrone incomplètement spécifiée. En dérogation à cette règle, des ensembles d'états incompatibles sont utilisés dans cet article à cette fin. Une technique simple est présentée pour générer tous les ensembles incompatibles (compatibles) maximaux à partir de paires d'états compatibles (incompatibles). La génération d'ensembles incompatibles maximaux présente certains avantages. 1) Le plus grand ensemble nous renseigne sur le nombre d'états de la plus petite machine. Nous pouvons donc savoir à quel point la machine minimale est « bonne ». 2) Nous pouvons savoir si la minimisation est nécessaire ou non. Elle est ensuite minimisée en utilisant un concept amélioré de minimalité. Les symboles des états de la machine minimale sont attribués aux états des ensembles incompatibles de telle sorte qu'aucun état incompatible n'obtienne le même symbole. Cette approche donne une machine minimale par rapport à certaines méthodes pour les machines synchrones qui essaient plusieurs possibilités. Un exemple est donné pour montrer qu'une machine minimale conventionnelle peut être non minimale par rapport à la minimalité introduite ici. La minimalité améliorée tend à donner la plus petite machine.