Hallo!

Ich habe vor zig Jahren, wenn noch keine µC gegeben hat, gelernt, dass die Zustandsdiagramme sich nur für Automaten eignenn, die synchron arbeiten und nicht von aussen beeinflüsst werden.

Deswegen könnte ich sie bisher bei µCs nicht anwenden, weil durch Interrupts, konnte ich die Zustandsdiagramme, ohne sie erheblich zu komplizieren, nicht erstellen, da die Interrupts einen synchronnen Automaten zum unsynchronen machen.

Bei bisher von mir benutzten PADs habe ich das Problem nicht gehabt, da sie jederzeits prüfen von allen inneren und ausseren Automatenzuständen ermöglichen.

Ein mit µC gesteuerten Roboter kann man als Mealy-Automat betrachten und ich habe ihn bisher als nichtdeterministischer endlicher Automat programmiert, da der Zustandsgraf des Automaten sich leicht in PAD umwandeln lässt.

Ich lasse mich aber gerne über inzwischen enstandenen Neuigkeiten belehren, damit ich wieder hoffentlich auf dem Laufendem bin.

MfG