01.01.2015 Aufrufe

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Endliche Automaten<br />

Geschichtliches<br />

Endliche Automaten<br />

Die Geschichte des Studiums endlicher Automaten beginnt in den<br />

1940’er/1950’er Jahren. Ihre Bedeutung und ihr Anwendungsbereich<br />

haben seither ständig zugenommen, z.B.:<br />

Schaltungsentwurf<br />

lexikalische Analyse von Programmtexten im Compiler<br />

schnelle Textsuche<br />

automatische Verifikation von Hard- und Software<br />

Modellierungssprachen<br />

Als Modell konkreter oder abstrakter “Systeme” verfügen sie über ein<br />

endliches Gedächtnis (über die Systemvorgeschichte), in Form sogenannter<br />

Zustände. Zustandsänderungen erfolgen mittels markierter sog. Übergänge<br />

oder Transitionen, die mit gewissen Labeln versehen sind..<br />

Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 12 / 191

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!