Ereignisdiskrete Systeme, 3rd Edition

Der in Abb. 4.5 dargestellte Automat ist ein Akzeptor für Wörter mit der Endung „heit“. Der Automat hat den eindeutig festgelegten Anfangszustand z0 =1, d. h., es gilt $\mathcal{Z}$0 = {1}. Als Eingangssymbole sind alle Buchstaben des deutschen Alphabets zugelassen, wobei der Einfachheit halber nicht zwischen Groß- und Kleinbuchstaben unterschieden wird:

$\begin{array}{l} \\ \sum =\left\{\text{a,b,c,d,}\mathrm{...}\text{z,ä,ö,ü}\right\}.\end{array}$

Für alle Buchstaben σ ∈ Σ kann der Automat im Zustand 1 verbleiben. Tritt zur Zeit k der Buchstabe „h“ auf, so kann der Automat außerdem in den Zustand 2 wechseln. Die Menge der möglichen Zustände ist dann

$\mathcal{Z}(k+1)=\{1,2\}$

Folgt als nächster Buchstabe ein „e“, so ist die Menge der möglichen Automatenzustände

$\mathcal{Z}(k+2)=\{1,3\}$

Das Wort ist akzeptiert, wenn es nach der ...