Rich, Elaine A. Automata, Computability and Complexity: Theory and Applications

'Automata, Computability and Complexity: Theory and Applications' von Elaine A. Rich ist ein umfassendes Lehrbuch, das sich mit den grundlegenden Konzepten der theoretischen Informatik befasst. Das Buch bietet eine Einführung in die Theorie der Automaten, Berechenbarkeit und Komplexitätstheorie. Es beginnt mit einer Darstellung von endlichen Automaten und regulären Ausdrücken, gefolgt von einer Untersuchung kontextfreier Grammatiken und Kellerautomaten. Anschließend behandelt es Turingmaschinen als Modell für berechenbare Funktionen und untersucht die Grenzen der Berechenbarkeit durch das Halteproblem und andere unentscheidbare Probleme. Im Abschnitt über Komplexitätstheorie werden verschiedene Komplexitätsklassen wie P, NP und NP-Vollständigkeit eingeführt. Das Buch erklärt auch wichtige Konzepte wie Reduktionen und die Bedeutung von effizienten Algorithmen. Rich legt Wert auf Anwendbarkeit, indem sie theoretische Konzepte mit praktischen Anwendungen verknüpft. Durch zahlreiche Beispiele, Übungen und anschauliche Erklärungen wird der Stoff zugänglich gemacht, was das Buch zu einer wertvollen Ressource für Studierende der Informatik macht.