Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie Main description: Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das Verständnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen Grammatikformalismen endlichen Automaten Kellerautomaten und Turingmaschinen. Review text: Gut für Sprachtheorie und damit theoretische Unterfütterung für Compilerbau und gut zu lesen. Dipl. Inf. Dr. Walter Hower