Format:
1 Online-Ressource (XII, 316 S.)
ISBN:
9783642670817
,
9783540090304
Note:
In diesem Buch wird eine Theorie der formalen Sprachen vom Standpunkt der Erzeugungsverfahren, hauptsächlich der Grammatiken aus entwickelt. Erkennungsverfahren, also Automaten, werden nur als eine zweite Möglichkeit eingeführt 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 auf Programmiersprachen (bzw. natürliche Sprachen) interessiert ist, würde sicherlich eine ausführlichere Diskussion von Themen wie LR(k)-Grammatiken (bzw. Transformationsgrammatiken) bevorzugen. Solche Diskussionen liegen außerhalb des Rahmens dieses Buches. Wir vermeiden unnötige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, daß der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse über formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so daß man keine weiteren Quellen für die Beweise von Ergebnissen benötigt, die als Sätze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angeführt, hauptsächlich als Behauptungen oder in den Bemerkungen im Anschluß an einige Abschnitte. Selbstverständlich werden diese Ergebnisse in den Beweisen späterer Sätze nicht verwendet. Es wurde auch versucht, die jüngsten Ergebnisse mit einzubeziehen. Danksagungen Teile des Manuskriptes für dieses Buch wurden als Unterlagen für Vorlesungen verwendet, die an den Universitäten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich möchte den Teilnehmern dieser Vorlesungen danken
Language:
German
Keywords:
Formale Sprache
DOI:
10.1007/978-3-642-67081-7
Author information:
Salomaa, Arto 1934-
Bookmarklink
