Automaten und Berechenbarkeit Von Dexter C. Kozen ist ein englischsprachiges Lehrbuch, das auf die Informatik ausgerichtet ist. Es bietet eine gründliche Einführung in die Automaten- und Berechenbarkeitstheorie und eignet sich als erster Kurs für Studierende, die sich in theoretische Modelle der Berechenbarkeit vertiefen möchten.
Das Buch behandelt grundlegende Konzepte wie endliche Automaten, Kellerautomaten und Turingmaschinen und behandelt komplexe Themen wie effektive Berechenbarkeit, Entscheidbarkeit und Gödels Unvollständigkeitssätze. Durch die Kombination aus klaren Erklärungen und vielfältigen Übungen bildet dieses Lehrbuch eine wertvolle Grundlage für Informatikstudiengänge.
Der Inhalt knüpft an Fachgebiete wie Mathematical theory of computation, Algorithms and data structures und Computermodellanalyse an. Dadurch ist es ein relevantes Lernmittel für Studierende, die sich in die theoretische Informatik einorientieren möchten.
Springer Book Archives