Zeitschrift für Elektrotechnik und Elektronik

Vereinfachung unvollständig spezifizierter sequentieller Maschinen

VC Prasad

Vereinfachung unvollständig spezifizierter sequentieller Maschinen

Die meisten Lehrbücher und Forschungsliteratur beschreiben Methoden, die auf kompatiblen Mengen basieren, um die Anzahl der Zustände einer unvollständig spezifizierten synchronen/asynchronen sequentiellen Maschine zu reduzieren. Abweichend davon werden in dieser Arbeit zu diesem Zweck inkompatible Mengen von Zuständen verwendet. Es wird eine einfache Technik vorgestellt, um alle maximal inkompatiblen (kompatiblen) Mengen aus kompatiblen (inkompatiblen) Zustandspaaren zu erzeugen. Die Erzeugung maximal inkompatibler Mengen hat einige Vorteile. 1) Die größte Menge gibt Aufschluss über die Anzahl der Zustände der kleinsten Maschine. Wir können daher wissen, wie „gut“ die Minimalmaschine ist. 2) Wir können wissen, ob eine Minimierung notwendig ist oder nicht. Sie wird dann mithilfe eines verbesserten Minimalitätskonzepts minimiert. Symbole der Zustände der Minimalmaschine werden Zuständen in inkompatiblen Mengen zugewiesen, so dass keine zwei inkompatiblen Zustände dasselbe Symbol erhalten. Dieser Ansatz ergibt eine Minimalmaschine im Vergleich zu einigen Methoden für synchrone Maschinen , die mehrere Möglichkeiten ausprobieren. Ein Beispiel wird gegeben, um zu zeigen, dass eine herkömmliche Minimalmaschine in Bezug auf die hier eingeführte Minimalität nicht-minimal sein kann. Die verbesserte Minimalität tendiert dazu, die kleinste Maschine zu ergeben.