Grundlagen der Programmiersprachen

Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verknpfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide Basis fr das Studium der Informatik zu legen. Es ist ins besondere fr Studenten im Grundstudium des Studienganges Informatik gedacht. Ein Programm ist nur dann brauchbar, wenn es das gestellte Problem korrekt lst, und dies darber hinaus mit der gewnschten Effizienz tut. Aussagen ber die Korrektheit und Effizienz eines Programms sind nur dann mglich, wenn die verwendete Programmiersprache exakt definiert ist, d.h., wenn die Menge der Pro gramme (Syntax) und deren Bedeutung (Semantik) festliegen. Die Definition von Syntax und Semantik nimmt daher in diesem Buch einen wichtigen Platz ein. For male Definitionen werden erst dann lebendig, wenn sie auf einem guten intuitiven Verstndnis aufbauen, und wenn sie zu Folgerungen in der Form von Stzen fhren. Daher enthlt dieses Buch eine groe Anzahl von Beispielen, Stzen und Aufgaben. Die Grundlagen der Programmiersprachen werden eingefhrt anhand einer spezifischen Programmiersprache, PROSA genannt (PROgrammiersprache SAar brcken). PROSA ist der Programmiersprache Pascal sehr hnlich, weicht aber in einigen Punkten (z.B. dynamische Felder, geschachtelte Verbunde) aus didaktischen Grnden ab. Die Abweichungen dienen zum einen der Vereinfachung, und zum an deren der lllustration einiger Konzepte, die Pascal nicht kennt. Die Benutzung von Pascal in einem begleitenden Programmierpraktikum stellt aber keinerlei Problem dar.