Aufgabe 1 Aufgabenpool

Question

Hallo,

könnten Sie mir genauer den Lösungsweg dieser Aufgabe erläutern? Mir ist nicht ganz ersichtlich woher die jeweiligen Beschriftungen kommen. Es fängt schon damit an, dass in den "Blasen" des Moore-Automats jweils zwei Dinge stehen.

Answer 1

Der Unterschied zwischen einem Mealy- und einem Moore-Automaten liegt in der Definition der Ausgabefunktion. Bei Mealy-Automaten hängt die Ausgabe von Eingabesymbol und Zustand ab, d.h. die Ausgabefunktion hat die Form
 $\gamma: S \times E \rightarrow A $ Daher wird die Ausgabe im Zustandsdiagramm bei den Kanten/Zustandsübergängen angegeben. Bei Moore-Automaten hängt die Ausgabe nur von dem Zustand ab, d.h. die Ausgabefunktion hat folgende Form
 $\gamma: S \rightarrow A$  Da die Ausgabe unabhängig von der Eingabe ist, wird sie im Zustandsdiagramm zu den Zuständen/Knoten geschrieben (also in die von dir genannten „Blasen“).

Bei der Umwandlung eines Moore- in einen Mealy-Automaten wird also die Ausgabefunktion angepasst. Die zu einem Zustand $s$ gehörende Ausgabe bei Moore-Automaten entspricht bei Mealy-Automaten der Ausgabe bei allen Zustandsübergangen, die in Zustand $s$ landen.

Ich hoffe, das war hilfreich. Wenn es noch nicht klar ist, einfach nochmal fragen.

Viele Grüße Philipp (Tutor)