Beschreiben Sie das ereignisdiskrete Verhalten durch einen autonomen Automaten, dessen Ausgang den Schalterzustand q angibt. Wenn das Umschalten ausbleibt, soll dies in der Ausgangsfolge durch die Symbolfolge 0, 0 bzw. 1, 1 erkennbar sein.
Ist der Automatenzustand mit dem Schalterzustand identisch? □
4.4Analyse nichtdeterministischer Automaten
4.4.1Erreichbarkeitsanalyse
Die im Abschn. 3.5.1 für deterministische Automaten beschriebene Erreichbarkeitsanalyse kann direkt für nichtdeterministische Automaten übernommen werden. Anstelle des eindeutig festgelegten Anfangszustands z0 tritt jetzt die Menge Z0 von möglichen Anfangszuständen. Die Funktion Im( ) zur Bestimmung aller Nachfolger der Zustände der Menge beruht für den autonomen ...
Get Ereignisdiskrete Systeme, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
