Termersetzungssysteme: Theorie, Implementierung, Anwendung

این کتاب حاصل چندین سخنرانی است که من در دانشکده علوم کامپیوتر در دانشگاه توبینگن ارائه کردم. هدف این سخنرانی ها دانشجویانی بود که در رشته علوم کامپیوتر تحصیل می کردند. علاوه بر دانشمندان کامپیوتر، این کتاب می تواند برای همه کسانی که با سیستم های رسمی سر و کار دارند، به ویژه ریاضیدانان، منطق دانان و زبان شناسان نیز ارزشمند باشد. کتاب مقدمه ای بر حوزه سیستم های جایگزین ترم است. با این وجود، برخی از اصول اساسی علوم کامپیوتر را در نظر می گیرد. این دانش پایه شامل مبانی برنامه نویسی، درک شهودی منطق مرتبه اول و مبانی نظری خاص (قابلیت محاسبه و زبان های رسمی) است که به طور کلی تا مقطع کارشناسی علوم کامپیوتر (اعم از اصلی و فرعی) تدریس می شود. اگرچه این کتاب در ابتدا به عنوان مقدمه ای بر سیستم های جایگزین اصطلاحی در نظر گرفته شده است، اما در نهایت قصد دارد خواننده را قادر سازد تا به طور مستقل انتشارات تحقیقاتی فعلی را مطالعه کند. سیستم های! مشخص کردن یک وظیفه مهم در تمام زمینه های علوم کامپیوتر است. مشخصات مربوط به مرحله طراحی هر پروژه است و به عنوان مبنایی (قراردادی) برای تحقق (اجرا) آن و همچنین مستندسازی عمل می کند و در حفظ و نگهداری یک سیستم تمام شده اهمیت فوق العاده ای دارد. رسمی، یعنی اچ. مشخصات دقیق ریاضی این مزیت غیرقابل انکار را دارند که جایی برای تفسیر باقی نمی گذارند و بنابراین به طور واضح مشخص می کنند که یک سیستم واقعاً چه چیزی را باید به دست آورد. متأسفانه، ایجاد مشخصات فرم 2 و خواندن برای افراد آموزش ندیده هم دشوار است. بنابراین، انگیزه ایجاد یک مشخصات رسمی اغلب وجود ندارد.

Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakultät für Informatik der Universität Tübingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern könnte dieses Buch aber auch für alle, die sich mit formalen Systemen beschäftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einführung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei­ nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verständnis der Prädikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zunächst als Einführung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbständig aktuelle Forschungspublika­ tionen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation gehört zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage für seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist äußerst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifi­ kationen haben den unbestreitbaren Vorteil, daß sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind forma­ 2 le Spezifikationen für Ungeübte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen.