Formale Sprachen und Automaten - Kapitel 1: Grundlagen
Formale Sprachen und Automaten - Kapitel 1: Grundlagen
Formale Sprachen und Automaten - Kapitel 1: Grundlagen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Probleme bei formalen <strong>Sprachen</strong><br />
Verallgemeinert auf beliebige formale <strong>Sprachen</strong>:<br />
◮ Wie spezifiziert man eine formale Sprache?<br />
◮ Inwieweit kann man Algorithmen angeben, die für<br />
Eingabewörter entscheiden, ob sie zu einer vorher spezifizierten<br />
formalen Sprache gehören?<br />
Ist man erst einmal so weit, dann ergeben sich als weitere Fragen:<br />
◮ Kann man den Entscheidungsalgorithmus womöglich<br />
automatisch aus der Spezifikation der formalen <strong>Sprachen</strong><br />
erzeugen?<br />
◮ Gibt es vielleicht Teilklassen (besonders „einfacher“) formaler<br />
<strong>Sprachen</strong>, für die gewisse besonders „schöne“ Spezifizierungs<strong>und</strong><br />
Erkennungsmethoden benutzt werden können?<br />
Gr<strong>und</strong>lagen „Verarbeitung“ formaler <strong>Sprachen</strong> 17/19