Übergangstabelle

In der Automatentheorie und bei Schaltwerken versteht man unter einer (Zustands)Übergangstabelle eine Tabelle, die die Folgezustände eines Automaten in Abhängigkeit von seinen Eingangszuständen und dem Input auflistet. Somit stellen Übergangstabellen eine Alternative zu den Zustandsübergangsdiagrammen dar.

Übliche Darstellungsweisen

Eindimensionale Zustandstabellen

Eindimensionale Zustandstabellen listen die Inputs auf der linken, die Outputs auf der rechten Seite. Hier ist ein einfaches Beispiel eines Zustandsautomaten mit zwei Zuständen und zwei Inputs:

A	B	Augenblicklicher Zustand	Nächster Zustand	Output
0	0	S1	S2	1
0	0	S2	S1	0
0	1	S1	S2	0
0	1	S2	S2	1
1	0	S1	S1	1
1	0	S2	S1	1
1	1	S1	S1	1
1	1	S2	S2	0

Literatur

• Michael Sipser: Introduction to the Theory of Computation. PWS Publishing Co., Boston 1997, ISBN 0-534-94728-X