Ich habe eine Frage bezüglich Mealy-Automaten. Konkret geht es um folgendes einfache Beispiel:
Seien die Zustände und und das entsprechende Ein- und Ausgabealphabet. Der Automat startet in und ist der Endzustand. Er soll eine ausgeben, sobald der String gelesen wird und in diesem Zustand bleiben. Ansonsten gibt er immer eine aus.
Jetzt meine Frage, gehört die Ausgabe der schon in die Kante von nach und in die Schleife um oder nur in die Schleife um ?
Irgendwie scheint für mich beides äquivalent zu sein, allerdings habe ich eine Lösung in der die erst dann ausgegeben wird, wenn der Automat wirklich in ist.
Konkret weiss der Automat schon beim Übergang von nach , dass der String eingelesen wurde oder muss er zuerst in Zustand gehen?
Ich habe ein Bild angehängt. Die entsprechende Kante ist umkreist.
Dukkha hat dieses Bild (verkleinerte Version) angehängt:
