Informatiker Board | Druckvorschau: Endzustand nicht wirklich auch ein Endzustand beim DEA?

Geschrieben von Stefan03 am 09.08.2013 um 16:09:

Endzustand nicht wirklich auch ein Endzustand beim DEA?

Hallo,

ich befasse mich gerade frisch mit dem Thema DEA und habe wohl ein Verständnisproblem zu einem "Endzustand".

Ich würde meinen, dass ein Endzustand ein Zustand ist, von dem aus ein Automat AUF KEINEM FALL mehr "weitermachen" bzw. herauskommen kann.

Aber es scheint wohl nicht so zu sein, sondern ein Endzustand ist dann wohl eben ein Zustand, bei dem der Automat enden kann, oder eben auch nicht.

Sehe ich das richtig?

Siehe diesen DEA im Zustandsdiagramm. Dort gehen auch vom Endzustand q3 Pfeilde weg...

Geschrieben von Karlito am 09.08.2013 um 19:04:

Hallo,

ja genau so ist es. Ein Endzustand besteht immer dann, wenn der Automat in einen Akzeptierenden Zustand übergeht. Einfaches Beispiel:

$[latex]<br /> \mathcal{L} = \{(01)^n | n \in \mathbb{N}_0\}<br /> [/latex]$

Die Wörter werden also immer dann akzeptiert, wenn eine 1 auf eine 0 folgt (und das leere Wort). Im Anhang findest Du den entsprechenden Automaten.

Edit: Angehängt ist kein DEA sondern ein NEA. für einen DEA fehlt ein "Papierkorbzustand".

VG,

Karlito

Geschrieben von Stefan03 am 09.08.2013 um 19:06:

OK, danke

Geschrieben von Karlito am 09.08.2013 um 19:10:

Bitte noch mein Edit beachten, habe leider keinen DEA angehangen.

VG,

Karlito