Automaten Sprachen Berechenbarkeit: Grundkurs Angewandte Informatik IV

مفهوم زبان رسمی برای بسیاری از حوزه‌های علوم کامپیوتر کاربردی و نظری، چه در زمینه زبان‌های برنامه‌نویسی، چه در ساخت کامپایلر یا در دستکاری داده‌ها و زبان‌های پرس و جو یا فناوری پایگاه داده، اساسی است. با شروع با مثال‌های انگیزشی، سیستم‌های تحلیل و تولید کلاسیک زبان‌های رسمی مورد بررسی قرار می‌گیرند: سلسله‌مراتب خودکارها، از خودکارهای محدود گرفته تا ماشین‌های تورینگ، با سلسله‌مراتب دستور زبان‌های چامسکی، با کلاس‌های زبان فردی مورد بحث قرار می‌گیرند. و به وضوح از یکدیگر متمایز می شوند. در نهایت، اصطلاحات اساسی مانند «الگوریتم»، «محاسبه پذیری»، «تصمیم پذیری» و غیره ارائه شده است. معنای این اصطلاحات برای علوم کامپیوتر به طور کلی و برای تئوری زبان های رسمی به طور خاص بررسی می شود. هدف از این جلد، ارائه مقدمه ای آسان و در عین حال دقیق از این حوزه های مهم علوم کامپیوتر است. به ویژه، خواننده باید درکی از بسیاری از مبانی روش شناختی - مانند مفاهیم زبان های برنامه نویسی ایجاد کند. این کتاب بخشی از پروژه http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc در کتابخانه علوم کامپیوتر الکترونیکی است و هنوز از طریق پروژه http://InterDoc.OFFIS در دسترس است. Uni-Oldenburg.de>InterDoc .

Der Begriff der formalen Sprache ist grundlegend für viele Bereiche der angewandten und theoretischen Informatik, sei es im Bereich der Programmiersprachen, im Compilerbau oder auch in Datenmanipulations- und Abfragesprachen oder Datenbanktechnologie. Ausgehend von motivierenden Beispielen werden die klassischen analysierenden und erzeugenden Systeme formaler Sprachen untersucht: Der Hierarchie der Automaten, von endlichen Automaten über Kellerautomaten bis hin zu Turing-Maschinen, wird die Hierarchie der Chomsky-Grammatiken gegenübergestellt, wobei die einzelnen Sprachklassen diskutiert und klar gegeneinander abgegrenzt werden. Schließlich erfolgt die Darstellung grundlegender Begriffe wie "Algorithmus", "Berechenbarkeit", Entscheidbarkeit", etc. Die Bedeutung dieser Begriffe für die Informatik im allgemeinen und für die Theorie formaler Sprachen im speziellen wird herausgearbeitet. Ziel des Bandes ist es, auf leicht verständliche und dennoch präzise Weise eine Einführung in diese wichtigen Gebiete der Informatik zu geben. Insbesondere soll beim Leser ein Verständnis für viele methodischen Grundlagen - etwa für die Konzepte von Programmiersprachen - entwickelt werden. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung.