Übergangstabelle
Begriff der Automatentheorie
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
BearbeitenEindimensionale Zustandstabellen
BearbeitenEindimensionale 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
Bearbeiten- Michael Sipser: Introduction to the Theory of Computation. PWS Publishing Co., Boston 1997, ISBN 0-534-94728-X