E-Book, Deutsch, 304 Seiten, eBook
Reihe: XLeitfäden der Informatik
Syntaxbasierte Programmierwerkzeuge
1995
ISBN: 978-3-322-96655-1
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Deutsch, 304 Seiten, eBook
Reihe: XLeitfäden der Informatik
ISBN: 978-3-322-96655-1
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Graduate
Weitere Infos & Material
1. Einführung.- 1.1. Was sind und wozu dienen „Syntaxbasierte Programmierwerkzeuge“?.- 1.2. Ein Anwendungsbeispiel.- 1.3. Aufbau des Buchs.- I Beschreibungsmittel.- 2. Beschreibung von Sprachen.- 2.1. Formale Sprachbeschreibungen.- 2.2. Wie schreibt man Grammatiken?.- 2.3. Korrektheit von Grammatiken.- 2.4. Nützliche Informationen und Transformationen.- 3. Attributierte Grammatiken.- 3.1. Definitionen und Beispiele.- 3.2. Wie attributiert man Grammatiken?.- 3.3. Attributabhängigkeiten.- 3.4. Zyklenfreiheit.- II Abarbeitungsmechanismen.- 4. Lexikalische Analyse.- 4.1. Endliche Automaten.- 4.2. Analyse mit regulären Ausdrücken.- 4.3. Praktische Erwägungen.- 5. Syntaxanalyse.- 5.1. Ein gemeinsamer Ansatz.- 5.2. Die LL(1)-Analyse.- 5.3. LR-Analyse ohne Vorschau.- 5.4. LR-Analyse mit Vorschau.- 5.5. Grammatiken analysegeeignet formulieren.- 5.6. Praktische Erwägungen.- 6. Attributauswertung.- 6.1. Allgemeine Attributauswerter.- 6.2. Attributauswertung während der Syntaxanalyse.- 6.3. Geordnete attributierte Grammatiken.- 6.4. Inkrementelle Attributauswertung.- 6.5. Praktische Gesichtspunkte.- III Anwendungen.- 7. Beispiel Dokumentenbearbeitung.- 7.1. Umfeld und Problemstellung.- 7.2. Festlegung der Syntax.- 7.3. Die Attributierungen.- 8. Eine Auswahl von Werkzeugen.- 8.1. UNIX-Filterprogramme.- 8.2. Compiler-Compiler.- 8.3. Attributierungs-basierte Systeme.- A. Informationsquellen.- B. Graphentheoretische Verfahren.- C. Ausgewählte Beweise.- C.1 Beweise in Ergänzung zu Kapitel 2.- C.2 Beweise in Ergänzung zu Kapitel 5.- Stichwortverzeichnis.
