Graphische Darstellung endlicher Automaten

Jeder Zustand aus Z wird durch einen Kreis repräsentiert.

Sei V_i,j die Menge aller v ∈ V für die gilt: δ(z_i, v) = z_j. Falls V_i,j ≠ Ø, dann ist ein gerichteter Pfeil zu zeichnen von dem Kreis für z_i zu dem Kreis von z_j, der mit der Menge V_i,j beschriftet wird.

Der Anfangszustand z₁ wird durch ein ``S'' markiert.

Zulässige Endzustände werden durch einen doppelten Kreis markiert.

	Jeder Zustand aus Z wird durch einen Kreis repräsentiert.
	Sei V_i,j die Menge aller v ∈ V für die gilt: δ(z_i, v) = z_j. Falls V_i,j ≠ Ø, dann ist ein gerichteter Pfeil zu zeichnen von dem Kreis für z_i zu dem Kreis von z_j, der mit der Menge V_i,j beschriftet wird.
	Der Anfangszustand z₁ wird durch ein ``S'' markiert.
	Zulässige Endzustände werden durch einen doppelten Kreis markiert.