TGI-Skript S. 46 - 51 (PDF)
TGI-Skript S. 46 - 51 (PDF)
TGI-Skript S. 46 - 51 (PDF)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Der Automat hat die folgende Tabellendarstellung mit B als Endzustand, was durch Unterstreichung<br />
kenntlich gemacht wurde:<br />
M a b c<br />
A {A, B} {A} {A}<br />
B {B} {A} {A, B}<br />
So ergeben sich z.B. beim Übergang a im Startzustand A die Folgezustände A und B, die im<br />
Sammelfolgezustand [AB] notiert werden. Jeder Zustand dieses Sammelzustands wird untersucht<br />
und seine möglichen Folgezustände hinsichtlich eines Eingabezeichens werden wieder in<br />
einem Sammelzustand zusammengefasst. Schließlich ergibt sich der folgende Automat mit den<br />
Endzuständen [AB] und [B].<br />
N a b c<br />
[A] [AB] [A] [A]<br />
[AB] [AB] [A] [AB]<br />
[B] [B] [A] [AB]<br />
Äquivalenter deterministischer endlicher Automat<br />
Im Zustandsübergangsdiagramm ist gut ersichtlich, dass der schraffierte neue Zustand [B]<br />
vom Startzustand aus nicht erreichbar und somit überflüssig ist. Damit kann man den Automa<br />
ten um diesen Zustand reduzieren.<br />
49