Zustandstabelle

Eine andere Darstellungsmethode für deterministische endliche Automaten ist eine Zustandstabelle / Übergangstabelle.

Ausgangszustand	0	1
$z_0$	$z_2$	$z_1$
$z_1$	$z_3$	$z_0$
$z_2$	$z_0$	$z_3$
$z_3$	$z_2$	$z_1$