E. Hopcroft John und Jeffrey D. Ullman Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

'Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie' von John E. Hopcroft und Jeffrey D. Ullman ist ein grundlegendes Werk im Bereich der theoretischen Informatik. Das Buch bietet eine umfassende Einführung in die Konzepte der Automatentheorie, formalen Sprachen und Komplexitätstheorie. Es beginnt mit der Darstellung grundlegender Modelle von Berechnungen, wie endliche Automaten, Kellerautomaten und Turing-Maschinen. Diese Modelle dienen als Grundlage für das Verständnis von formalen Sprachen, einschließlich regulärer Sprachen und kontextfreier Grammatiken. Das Buch untersucht auch die Beziehungen zwischen verschiedenen Klassen von Sprachen und den entsprechenden Automatenmodellen. Darüber hinaus behandelt es wichtige Themen der Komplexitätstheorie, einschließlich P- und NP-Komplexitätsklassen sowie Entscheidungsprobleme. Durch zahlreiche Beispiele und Übungen bietet das Buch sowohl theoretische als auch praktische Einblicke in die Struktur und Grenzen berechenbarer Funktionen. Es ist ein unverzichtbares Lehrbuch für Studierende der Informatik, die sich mit den fundamentalen Prinzipien der Theorie des Rechnens auseinandersetzen möchten.