In dieser Neuauflage des Standardwerks Einführung in Automatentheorie Formale Sprachen und
Berechenbarkeit vermittelt das Autorenteam John Hopcroft Rajeev Motwani und Jeffrey D. Ullman
das Fundament der Theoretischen Informatik. Klar gegliedert und gut strukturiert präsentiert
das Lehrbuch das grundlegende Wissen zu den Themenbereichen Formale Sprachen Automaten- und
Komplexitätstheorie sowie Berechenbarkeit einschließlich Unentscheidbarkeit - unter besonderer
Berücksichtigung auch der praktischen Anwendungen. Viele anschauliche Beispiele Illustrationen
und ergänzende Erläuterungen erleichtern das Verstehen dieses für Studierende schwierigen
Lehrstoffs. Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte ermöglichen die
unmittelbare Überprüfung des gelernten Stoffes. Die vielen inhaltlichen Verbesserungen und
zusätzlichen Hinweise mit Anpassung an die hiesige Lehre bilden für die Studierenden eine
ideale Voraussetzung sich dieses Thema auch im Rahmen des Selbststudiums anzueignen. Das Buch
eignet sich sowohl als Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen und
Universitäten.
