Formale Sprachen und Automaten - Kapitel 1: Grundlagen

Weitere Magazine

Empfehlungen

Info

$LaTeX, beamer, tikz und Co. - 6. Käschdle (engl. boxes)$

1.11 Beispiel ◮ Die Menge der syntaktisch korrekten Java-Programme ist eine formale Sprache LJava ⊂ A ∗ über dem Alphabet A = {a, . . . , z, A, . . . , Z, +, −, ∗, . . .}. ◮ Ein Java-Übersetzer muss unter anderem überprüfen, ob eine Eingabezeichenkette ein syntaktisch korrektes Java-Programm ist oder nicht. ◮ Mit anderen Worten muss ein Übersetzer für jedes w ∈ A ∗ feststellen können, ob w ∈ LJava ist oder nicht ◮ und je nachdem dann verschiedene Aktionen durchführen. Grundlagen Zeichen, Alphabete, Wörter, Sprachen 15/19
Probleme bei Programmiersprachen ◮ Wie spezifiziert man (präzise), welche Zeichenfolgen syntaktisch korrekte Java-Programme sind? ◮ Wie kann z. B. ein Algorithmus aussehen, der überprüft, ob die Eingabe ein syntaktisch korrektes Java-Programm ist? Grundlagen „Verarbeitung“ formaler Sprachen 16/19
Seite 1 und 2: Formale Sprachen und Automaten Kapi
Seite 3 und 4: 1.1 Beispiel Ein Übersetzer für J
Seite 5 und 6: 1.2 Definition ◮ Alphabet: endlic
Seite 7 und 8: 1.3 Definition (Konkatenation) Es s
Seite 9 und 10: 1.5 Bemerkung ◮ Für alle Wörter
Seite 11 und 12: 1.6 Definition (Produkte auf Sprach
Seite 13 und 14: 1.8 Bemerkung Bei der Konkatenation
Seite 15: 1.10 Bemerkung ◮ L + ist die Meng
Seite 19 und 20: Lösungsansätze ◮ Die Entscheidu

Formale Sprachen und Automaten - Kapitel 1: Grundlagen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?