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.
1.11 Beispiel<br />
◮ Die Menge der syntaktisch korrekten Java-Programme ist eine<br />
formale Sprache LJava ⊂ A ∗ über dem Alphabet<br />
A = {a, . . . , z, A, . . . , Z, +, −, ∗, . . .}.<br />
◮ Ein Java-Übersetzer muss unter anderem überprüfen, ob eine<br />
Eingabezeichenkette ein syntaktisch korrektes Java-Programm<br />
ist oder nicht.<br />
◮ Mit anderen Worten muss ein Übersetzer für jedes w ∈ A ∗<br />
feststellen können, ob w ∈ LJava ist oder nicht<br />
◮ <strong>und</strong> je nachdem dann verschiedene Aktionen durchführen.<br />
Gr<strong>und</strong>lagen Zeichen, Alphabete, Wörter, <strong>Sprachen</strong> 15/19