Semantik: Theorie sequentieller und paralleler Programmierung

من می خواهم با دو ادعا شروع کنم: معناشناسی رسمی یکی از موضوعات مهم در علوم کامپیوتر است. یک موضوع مهم در علوم کامپیوتر، معناشناسی رسمی است. بر اساس این دو جمله می خواهم موضوع این کتاب را برای شما خواننده عزیز توضیح دهم: گفته می شود که این دو جمله دارای نحو متفاوت اما معنایی یکسان هستند. نحو یک جمله به معنای ساختار بیرونی آن است، برای مثال به عنوان دنباله موضوع- محمول- مفعول. از منظر صرفاً فنی، چیزی بین این دو جمله وجود دارد: معناشناسی رسمی موضوعی از علوم رایانه است. کتاب جدید همراه با سخنرانی دوره است. 1 تفاوت معنی داری وجود ندارد محتوا، معنا یا حتی معنای یک جمله شامل معنای کلماتی است که از آن تشکیل شده است. با این حال، بیش از مجموع آنها است. در واقع، جنبه های زمانی (مثلاً: رسمی به معنای چیزی متفاوت از امروز نسبت به 1000 سال پیش است)، زمینه ای (مثلاً: عبارت کتاب جدید را فقط از بافت متن می توان فهمید) و جنبه های دیگر، احتمالاً جنبه های ذهنی، به معناشناسی یک مجموعه بنابراین معنای «تحقیق پذیر» همیشه انتزاعی از بسیاری از وجوه مختلف کلیت آن است. در بررسی بسیار دقیق، ظرایف معنایی متفاوتی حتی بین دو جمله در ابتدای این بازتاب ها ظاهر می شود. اولی، بیش از دومی، این ایده را مطرح می کند که مجموعه ای از موضوعات مهم به خوبی تعریف شده در علوم کامپیوتر وجود دارد. تنها زمانی که این تفاوت انتزاع شود، معانی دو جمله یکسان است.

Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt­ Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der Informatik. Das neue Buch begleitet eine Vorlesung des Studiengangs. 1 kein wesentlicher Unterschied. Der Inhalt, die Bedeutung oder eben die Semantik eines Satzes umfaBt die Bedeutung der Worter, aus denen er besteht. Sie ist jedoch mehr als nur deren Summe. In der Tat gehen zeitliche (z.B.: formal bedeutet heutzutage etwas anderes als vor 1000 Jahren), kontextuelle (z.B.: die Phrase Das neue Buch ist nur aus dem textuellen Zusammenhang heraus zu verstehen) und andere Aspekte, eventuell auch subjektive, in die Semantik eines Satzes ein. Die 'untersuchbare' Bedeutung ist daher stets eine Abstraktion vieler verschiedener Facetten ihrer Gesamtheit. Bei sehr genauer Untersuchung zeigen sich sogar zwischen den beiden Satzen zu Beginn dieser Uberlegungen unterschiedliche semantische Nuancen. Der erste legt starker als der zweite die Idee nahe, daB es eine wohldefinierte Menge von wichtigen Themen der Informatik gibt. Nur wenn Von diesem Unterschied abstrahiert wird, sind die Bedeutungen der beiden Satze gleich.