Ereignisdiskrete Systeme, 3rd Edition

• Automat 2: $\overline{G}=\left(\begin{array}{ccc}1& 0& 0\\ 1& 1& 0\\ 1& 2& 3\end{array}\right)\Rightarrow \overline{p}=\overline{G}{p}_0=\left(\begin{array}{c}0\\ 1\\ 1\end{array}\right)$

Der Zustand 1 ist vom gegebenen Anfangszustand nicht erreichbar, so dass der Automat reduziert werden kann. Zudem kann der Zustand 2 nicht erneut angenommen werden, wenn er einmal verlassen wurde, und ist ein transienter Zustand. Der Automat besitzt drei stark zusammenhängende Zustandsmengen: $\mathcal{Z}$1 = {1}, $\mathcal{Z}$2 = {2}, $\mathcal{Z}$3 = {3}.

• Automat 3: $\overline{G}=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 2& 2& 2& 2\\ 1& 1& 2& 2\end{array}\right)$

Aufgrund der Struktur der Matrix Ḡ gibt es keinen Anfangszustand, von dem aus alle Zustände erreichbar wären. Hierfür müsste die Matrix Ḡ eine Spalte voller Einsen aufweisen. Der Automat besitzt drei stark ...