Formale Sprachen

Eine Einführung

AvHeinrich Becker

Häftad, Tyska, 1977

559 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

584 kr

Produktinformation

Utgivningsdatum:1977-01-01
Mått:155 x 235 x 16 mm
Vikt:429 g
Format:Häftad
Språk:Tyska
Antal sidor:271
Upplaga:1977
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528033231

Utforska kategorier

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

Innehållsförteckning

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.