A Concise Introduction to Languages and Machines, Fachbücher von Alan P. Parkes

A Concise Introduction to Languages and Machines bietet eine zugängliche Einführung in drei zentrale Themen der Informatik: formale Sprachen, abstrakte Maschinen und formale Logik. Dieses Lehrbuch ist in einem leicht verständlichen, informellen Stil verfasst und setzt lediglich grundlegende Programmierkenntnisse der Leserschaft voraus. Der Ansatz ist bewusst nicht-mathematisch und legt Wert auf klare Erklärungen von formalen Notationen und Fachbegriffen. Durch umfangreiche Beispiele werden Algorithmen und Beweise veranschaulicht, während bildliche Darstellungen der Schlüsselkonzepte das Verständnis fördern. Jedes Kapitel beginnt mit einer Übersicht, die eine Einführung und Orientierung zu den behandelten Themen bietet. Am Ende der Kapitel finden sich Übungen und Lösungen, die eine intuitive Auseinandersetzung mit den Inhalten ermöglichen. Dieses benutzerfreundliche Lehrbuch richtet sich an Studierende und eignet sich sowohl für Kurse zu formalen Sprachen, formaler Logik, Berechenbarkeit und Automatentheorie als auch als ergänzender Text für Veranstaltungen zu Algorithmuskomplexität und Compilern.