Formale Sprachen

Eine Einführung

Häftad, Tyska, 1977

AvHeinrich Becker

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1977-01-01
Mått155 x 235 x 16 mm
Vikt429 g
FormatHäftad
SpråkTyska
Antal sidor271
Upplaga1977
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528033231

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Matematik inom Naturvetenskap och teknik

I. Einführung in die Theorie der formalen Sprachen.- I.1 Natürliche Sprachen.- I.2 Die grundlegenden Definitionen.- I.3 Auswertung arithmetischer Ausdrücke und (kontextfreie) Grammatiken.- I.4 Definition von Programmiersprachen durch kontextfreie Grammatiken.- I.5 Formale Erreichbarkeit von Prozeduren.- I.6 Fragestellungen.- II. Regelsprachen.- II. 1 Die Chomsky-Hierarchie.- II.2 Der Hierarchie-Nachweis.- II.3 Struktursätze.- III. Mathematische Maschinen.- III. 1 Die Turing-Maschine.- III.2 Der linear beschränkte Automat.- III.3 Der Kellerautomat.- III.4 Der endliche Akzeptor.- IV. Abschlußeigenschaften.- IV. 1 Reguläre Mengen.- IV.2 Der Substitutionssatz.- IV.3 Der Abschluß gegen Durchschnitt und Komplement.- IV.4 Zusammenfassung der Ergebnisse.- IV.5 Automateninduzierte Abbildungen.- V. Entscheklbarkeit.- V.1 Entscheidbare Probleme.- V.2 Nichtentscheidbare Probleme.- VI. Eindeutigkeit.- VI.1 Die Problemstellung.- VI.2 Formalisierung des Ableitungsprozesses.- VI.3 Nicht wesentlich verschiedene Ableitungen.- VI.4 Veranschaulichung durch Bäume.- VI.5 Weitere Eigenschaften der Relation „?“.- VI.6 Eindeutige Grammatiken und eindeutige Sprachen.- VI.7 Inhärente Mehrdeutigkeit.- VII. Eine Einführung in die syntaktische Analyse.- VII.1 Die Problemstellung.- VII.2 Ein Turingmaschinenmodell zur Syntaxanalyse.- VII.3 Die Greibach-Normalform.- VII.4 Die „schwierigste“ kontextfreie Sprache.- VII.5 Der Satz von Chomsky-Schützenberger.- Lösungen der Übungsaufgaben.- Symbole und Bezeichnungen.- Stichwortverzeichnis.