Das Transitionsverhalten von Automaten kann veranschaulicht werden durch gerichtete Graphen, deren Knoten durch Zustände markiert werden (Zustandsdiagramm (Zustandstabelle)) und deren gerichtete Kanten mit Eingabezeichen markiert werden. (Quelle: Schneider: Lexikon Informatik)