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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.