Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Mealy-Automat (http://www.informatikerboard.de/board/thread.php?threadid=3343)

Geschrieben von Dukkha am 02.12.2016 um 18:52:

  Mealy-Automat

Hallo,

Ich habe eine Frage bezüglich Mealy-Automaten. Konkret geht es um folgendes einfache Beispiel:

Seien [latex]Q=\{s_0,s_1,s_2\}[/latex] die Zustände und [latex]E=\{a,b,c\}[/latex] und [latex]A=\{0,1\}[/latex] das entsprechende Ein- und Ausgabealphabet. Der Automat startet in [latex]s_0[/latex] und [latex]s_2[/latex] ist der Endzustand. Er soll eine [latex]1[/latex] ausgeben, sobald der String [latex]cb[/latex] gelesen wird und in diesem Zustand bleiben. Ansonsten gibt er immer eine [latex]0[/latex] aus.

Jetzt meine Frage, gehört die Ausgabe der [latex]1[/latex] schon in die Kante von [latex]s_1[/latex] nach [latex]s_2[/latex] und in die Schleife um [latex]s_2[/latex] oder nur in die Schleife um [latex]s_2[/latex]?

Irgendwie scheint für mich beides äquivalent zu sein, allerdings habe ich eine Lösung in der die [latex]1[/latex] erst dann ausgegeben wird, wenn der Automat wirklich in [latex]s_2[/latex] ist.

Konkret weiss der Automat schon beim Übergang von [latex]s_1[/latex] nach [latex]s_2[/latex], dass der String eingelesen wurde oder muss er zuerst in Zustand [latex]s_2[/latex] gehen?

Ich habe ein Bild angehängt. Die entsprechende Kante ist umkreist.


Forensoftware: Burning Board, entwickelt von WoltLab GmbH