Einführung in die Automatentheorie, formale Sprachen und Berechenbarkeit

More about the book

In dieser Neuauflage des Standardwerks zur Theoretischen Informatik vermitteln die Autoren John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman grundlegendes Wissen zu Formale Sprachen, Automaten- und Komplexitätstheorie sowie Berechenbarkeit, einschließlich Unentscheidbarkeit, mit einem Fokus auf praktische Anwendungen. Das klar gegliederte Lehrbuch enthält viele anschauliche Beispiele, Illustrationen und ergänzende Erläuterungen, die das Verständnis des komplexen Stoffes erleichtern. Am Ende jedes Abschnitts finden sich umfangreiche Übungsaufgaben zur Überprüfung des Gelernten. Die inhaltlichen Verbesserungen und zusätzlichen Hinweise sind ideal für das Selbststudium der Studierenden. Das Buch dient sowohl als Nachschlagewerk als auch für den Einsatz in der Hochschullehre. Die behandelten Themen umfassen die Grundlagen und Methoden von Automaten, endliche Automaten, reguläre Ausdrücke und Sprachen, Eigenschaften regulärer Sprachen, kontextfreie Grammatiken und Sprachen, Keller-Automaten, Eigenschaften kontextfreier Sprachen, Turing-Maschinen, Unentscheidbarkeit und nicht-handhabbare Probleme sowie zusätzliche Problemklassen. Die Autoren sind renommierte Experten auf ihrem Gebiet, und der Fachlektor Walter Hower, ausgezeichnet mit dem Lehrpreis 2006, bringt seine Erfahrung in der Lehre ein. Auf der begleitenden Website stehen für Dozenten und Studenten zusätzliche Materialien zur Verfügung.