Blick ins Buch

Formale Sprachen

Arto K. Salomaa (Autor)

Buch | Softcover

XII, 316 Seiten

1978
Springer Berlin (Verlag)
9783540090304 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

In diesem Buch wird eine Theorie der formalen Sprachen yom Standpunkt der Erzeugungsverfahren, hauptslichlich der Gramma tiken aus entwickelt. Erkennungsverfahren, also Automaten, wer den nur als eine zweite Moglichkeit eingefiihrt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen aufProgrammiersprachen (bzw. narurliche Spra chen) interessiert ist, wiirde sicherlich eine ausfiihrlichere Diskus sion von Themen wie LR(k)-Grammatiken (bzw. Transformations grammatiken) bevorzugen. So1che Diskussionen liegen au~erhalb des Rahmens dieses Buches. Wir vermeiden unnotige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, d~ der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse tiber formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so d~ man keine weiteren Quellen fUr die Beweise von Ergebnissen benotigt, die als Slitze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angefiihrt, hauptslichlich als Behauptungen oder in den Be merkungen im Anschl~ an einige Abschnitte. Selbstverstandlich werden diese Ergebnisse in den Beweisen spliterer Slitze nicht ver wendet. Es wurde auch versucht, die jiingsten Ergebnisse mit ein zubeziehen. Danksagungen Teile des Manuskriptes flir dieses Buch wurden als Unterlagen fUr Vorlesungen verwendet, die an den Universitaten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich mochte den Teil nehmern dieser VorleSlingen danken.

Eins.- I. Sprache und Grammatik.- II. Reguläre und kontextfreie Sprachen.- III. Kontext-sensitive Sprachen und Typ-O-Sprachen.- Zwei.- IV. Abstrakte Familien von Sprachen.- V. Gesteuerte Ersetzung.- VI. Kontextfreie Sprachen, Fortsetzung.- VII. Weitere Klassen von Erzeugungsverfahren.- Drei.- VIII. Lösbarkeit und Unlösbarkeit.- IX. Komplexität.- Einführung in die Literatur.

Erscheint lt. Verlag	1.12.1978
Übersetzer	E.-W. Dieterich
Zusatzinfo	XII, 316 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	565 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algebra • Algorithmen • Automaten • Formale Sprache • Komplexität • Programmiersprache
ISBN-13	9783540090304 / 9783540090304
Zustand	Neuware