Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung

محتوای نسبتاً انتزاعی علوم کامپیوتر نظری با مثال‌های کاربردی عملی انگیزه داده می‌شود که به وضوح و در تمرین‌ها عمیق‌تر شده است. در سراسر کتاب، قصد ایجاد یک کامپایلر برای یک زبان با جلوه های گرافیکی است. مشارکت های لازم در نقاط مناسب انجام می شود و جنبه های تولید کامپایلر خودکار مورد بحث قرار می گیرد.

AtoCC اجزای به هم پیوسته ای را برای مدل سازی زبان های رسمی، عبارات منظم، خودکارهای انتزاعی و برای تولید کامپایلر خودکار از توضیحات گرافیکی-تصویری فراهم می کند. محیط یادگیری و کار AtoCC به طور ویژه برای مطالعه علوم کامپیوتر نظری توسعه یافته است و قبلاً با موفقیت در چندین دانشگاه و مدرسه استفاده شده است. AtoCC دانش نظری را از طریق تمرین های عملی و پروژه های کاربردی جذاب در زمینه های گرافیک و صدا تعمیق می بخشد. امروزه ترجمه و پردازش زبان‌های کم و بیش پیچیده را نیز می‌توان یافت، به عنوان مثال، در برنامه‌های کاربردی وب مدرن.

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert.

Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzte Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.