Grundlagen der Programmiersprachen

این کتاب به مبانی زبان های برنامه نویسی، ارتباط آنها با ماشین های محاسباتی واقعی و الگوریتم های - مثالی می پردازد. هدف این کتاب ایجاد یک پایه محکم برای مطالعه علوم کامپیوتر است. این به ویژه برای دانشجویان مقطع کارشناسی در دوره علوم کامپیوتر در نظر گرفته شده است. یک برنامه تنها زمانی مفید است که مشکل را به درستی حل کند و این کار را با کارایی مطلوب انجام دهد. اظهارات در مورد صحت و کارایی یک برنامه تنها در صورتی امکان پذیر است که زبان برنامه نویسی مورد استفاده دقیقاً تعریف شده باشد، یعنی اگر تعداد برنامه ها (سینتکس) و معنای آنها (معناشناسی) ثابت باشد. بنابراین تعریف نحو و معناشناسی جایگاه مهمی در این کتاب دارد. تعاریف رسمی تنها زمانی زنده می شوند که بر اساس یک درک شهودی خوب ساخته شوند و به نتیجه گیری در قالب گزاره ها منجر شوند. بنابراین، این کتاب شامل تعداد زیادی مثال، جملات و تکالیف است. مبانی زبان های برنامه نویسی با استفاده از یک زبان برنامه نویسی خاص به نام PROSA (زبان برنامه نویسی SAar bridges) معرفی می شوند. PROSA بسیار شبیه به زبان برنامه نویسی پاسکال است، اما به دلایل آموزشی در برخی از نقاط (مانند زمینه های پویا، ترکیبات تو در تو) متفاوت است. انحرافات از یک سو برای ساده سازی و از سوی دیگر برای نشان دادن برخی مفاهیم که پاسکال نمی داند استفاده می شود. با این حال، استفاده از پاسکال در کارآموزی برنامه نویسی همراه مشکلی ندارد.

Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verknüpfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide Basis für das Studium der Informatik zu legen. Es ist ins­ besondere für Studenten im Grundstudium des Studienganges Informatik gedacht. Ein Programm ist nur dann brauchbar, wenn es das gestellte Problem korrekt löst, und dies darüber hinaus mit der gewünschten Effizienz tut. Aussagen über die Korrektheit und Effizienz eines Programms sind nur dann möglich, 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 Verständnis aufbauen, und wenn sie zu Folgerungen in der Form von Sätzen führen. Daher enthält dieses Buch eine große Anzahl von Beispielen, Sätzen und Aufgaben. Die Grundlagen der Programmiersprachen werden eingeführt anhand einer spezifischen Programmiersprache, PROSA genannt (PROgrammiersprache SAar­ brücken). PROSA ist der Programmiersprache Pascal sehr ähnlich, weicht aber in einigen Punkten (z.B. dynamische Felder, geschachtelte Verbunde) aus didaktischen Gründen 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.