Hallo,
> Verstehe ich das richtig, dass beim Automaten auf
> dem neuen Übungsblatt von Zustand rd1 auf rd2 ohne
> Bedingung, also komplett unabhängig vom Input
> gewechselt wird?
Ja richtig.
Und wenn ein Pfeil wie "/SMack
> aktiv" auf rd1 zeigt, heißt das dann, das /SMack
> in diesem Zustand aktiv wird und auch aktiv bleibt
> oder nach dem Zustand wieder zurückwechselt?
Die Ausgänge wie /SMack sind nur in den Zuständen aktiv, an denen dran steht, dass sie aktiv sind.
Sie bleiben nicht aktiv.
>
> Gibt es überhaupt kompakte Übergangsfunktionen für
> den Automaten? Ich versuche jetzt schon seit
> Stunden auf eine kompakte Version zu kommen damit
> die Zeichnung nicht exponentiell explodiert (ich
> habe TI gehört und habe dort auch schon einmal
> einen solchen SK malen müssen, jedoch gab es dort
> deutlich weniger Zustände und kompaktere
> Funktionen)
>
Also es genügt uns, wenn Sie die Gatterfunktionen für die einzelnen Signale angeben (z.B. als DNF).
Sie müssen den SK nicht unbedingt zeichnen, wenn dieser zu groß ist.
Viele Grüße