Zusammenfassung
Im 5. Kapitel wurde die (Aufschreibungs- und Aufruf-)Struktur von Programmen (‚Blockstruktur‘), im 6. Kapitel die Struktur von Objekten (‚Datenstruktur‘) behandelt. In diesem Kapitel werden die formalen Hintergründe der Struktur von Zeichenfolgen im Rahmen der Syntax1 formaler Sprachen untersucht. Dies dient auch als Vorbereitung für das 8. Kapitel, das der Syntax und Semantik algorithmischer Sprachen gilt, bei denen die algorithmischen Konstrukte auf Zeichenfolgen abgebildet sind. Bei der Betrachtung formaler Sprachen wird es darum gehen, eine sehr umfängliche, in den meisten Fällen sogar nichtendliche Menge von Worten in möglichst einfacher Form zu beschreiben und dabei auch eine in der Wortmenge normalerweise unterstellte syntaktische Struktur auszudrücken.
«Un voyage au royaume des sciences, si l’on gravit quelque sommet ou que l’on s’approche des frontières, découvre dans la grisaille des lointains les masses imprécises d’édifices que l’on devine néanmoins puissants et somptueux»
Louis Couffignal
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Salomaa, A. K.: Formale Sprachen. Berlin-Heidelberg-New York: Springer 1978
Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 3. Aufl. Berlin-Heidelberg-New York: Springer 1978
Ginsburg, S.: The Mathematical Theory of Context-Free Languages. New York: McGraw-Hill 1966
Samelson, K., Bauer, F. L.: Sequentielle Formelübersetzung. Elektron. Rechenanlagen 1, 176–182 (1959)
Bauer, F. L., Samelson, K.: Maschinelle Verarbeitung von Programmsprachen. In: Hoffmann, W. (Hrsg.): Digitale Informationswandler. Braunschweig: Vieweg 1962, p. 227–268
Maurer, H.: Theoretische Grundlagen der Programmiersprachen. Mannheim-Wien-Zürich: Bibliographisches Institut 1969
Loeckx, J.: Algorithmentheorie. Berlin-Heidelberg-New York: Springer 1976
Hotz, G., Claus, V.: Automatentheorie und Formale Sprachen. III. Formale Sprachen. Mannheim-Wien-Zürich: Bibliographisches Institut 1972
Asser, G.: Einführung in die Mathematische Logik, 2 Bde. Leipzig: Teubner 1959, 1972
Deussen, P.: Halbgruppen und Automaten. Berlin-Heidelberg-New York: Springer 1971
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bauer, F.L., Goos, G. (1984). Formale Sprachen. In: Informatik. Heidelberger Taschenbücher, vol 91. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96811-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-96811-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13121-2
Online ISBN: 978-3-642-96811-2
eBook Packages: Springer Book Archive