Endzustand nicht wirklich auch ein Endzustand beim DEA?

Neue Frage »

Auf diesen Beitrag antworten »
Stefan03 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...
 
Auf diesen Beitrag antworten »
Karlito

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
Auf diesen Beitrag antworten »
Stefan03

OK, danke
Auf diesen Beitrag antworten »
Karlito

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

VG,

Karlito
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »