Ein einführendes Werk, das die Prinzipien der Berechenbarkeit, Komplexitätstheorie und formalen Sprachen in klaren Erklärungen und anschaulichen Beispielen vermittelt, ideal für Studierende und Forscher.