Zustandsmengen und Übergangsgraph

**Figure 12.7:** Einfaches Programm für Input-Output Automat zum Beispiel
$\includegraphics[width=2.5in]{automat2.eps}$

**Figure 12.8:** Übergangsgraph zum Automat
$\includegraphics[width=3.0in]{transitiongraph_automat2.eps}$

$\displaystyle Q$	$\textstyle =$	$\displaystyle \{0, 1, 2\}$	(12.9)
$\displaystyle I$	$\textstyle =$	$\displaystyle \{0\}$	(12.10)
$\displaystyle F$	$\textstyle =$	$\displaystyle \{\}$	(12.11)
$\displaystyle \Sigma$	$\textstyle =$	$\displaystyle \{0, 1, 2\}$	(12.12)
$\displaystyle \Xi$	$\textstyle =$	$\displaystyle \{0, 1, 2\}$	(12.13)
$\displaystyle \Delta$	$\textstyle =$	$\displaystyle \{\langle 0,0,0\rangle, \langle 0,1,1\rangle, \langle 0,2,2\rangle, \langle 0,\{1,2\}, \{1,2\}\rangle\}$	(12.14)
	$\textstyle \cup$	$\displaystyle \{\langle 1,0,0\rangle, \langle 1,1,1\rangle, \langle 1,2,2\rangle, \langle 1,\{1,2\},\{1,2\}\rangle\}$	(12.15)
	$\textstyle \cup$	$\displaystyle \{\langle 2,0,0\rangle, \langle 2,1,1\rangle, \langle 2,2,2\rangle, \langle 2,\{1,2\},\{1,2\}\rangle\}$	(12.16)
$\displaystyle \Lambda$	$\textstyle =$	$\displaystyle \{ \langle 0,0\rangle, \langle 1,1\rangle, \langle 2,2\rangle\}$	(12.17)