Technische Grundlagen der Informatik

„Technische Grundlagen der Informatik (TGI)“
Prof. Dr. R. Latz
____________________________________________________________________________________________________________
In nachfolgender Abbildung ist der Zustandsgraph eines Moore-
Automaten a) und eines äquivalenten Mealy-Automaten b) dargestellt.
Der Takt wird in Zustandsgraphen nicht dargestellt. Von einem in den
nächsten Zustand weitergeschaltet wird jedoch nur, wenn die Zustandsübergangsbedingungen
erfüllt sind, und wenn eine Taktweiterschaltung
durch eine ansteigende bzw. abfallende Taktflanke erfolgt. Sind die
Zustandsübergangsbedingungen nicht erfüllt, dann verweilt der Automat
solange im jeweiligen Zustand bis sie erfüllt sind.
Automatentabelle
Aus dem Zustandsgraphen kann man die Automatentabelle erzeugen und
umgekehrt. Eine Automatentabelle enthält zwei Einzeltabellen:
1.) Die Zustandsübergangstabelle, die den Folgezustand abhängig vom
momentanen Zustand und den Eingangswerten angibt.
2.) Die Ausgangswertetabelle, in der die Ausgangswerte abhängig vom
Zustand, beim Mealy-Automaten zusätzlich abhängig von den
Eingangswerten, aufgeführt sind.
In nachfolgender Abbildung sind die Automatentabellen der
Zustandsautomaten dargestellt, deren Zustandsgraphen zuvor diskutiert
wurden. Bei a) steht die Automatentabelle des Moore-Automaten. Bei b)
steht die Automatentabelle des Mealy-Automaten. Mit n ist der aktuelle
Schaltzustand bezeichnet. Mit n+1 ist der Schaltzustand des
Folgezustandes bezeichnet.
Seite 7 - 7
© R. Latz