Gumm, Heinz-Peter Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität (De Gruyter Studium)

Das Buch 'Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität' von Heinz-Peter Gumm bietet eine umfassende Einführung in die theoretischen Grundlagen der Informatik. Es behandelt zentrale Themen wie formale Sprachen und Grammatiken, die als Grundlage für die Syntax von Programmiersprachen dienen. Darüber hinaus erklärt es den Compilerbau, indem es zeigt, wie Quellcode in Maschinensprache übersetzt wird. Ein weiterer Schwerpunkt liegt auf der Berechenbarkeitstheorie, die sich mit den Grenzen dessen befasst, was mit Computern berechnet werden kann. Schließlich wird auch die Komplexitätstheorie behandelt, welche die Effizienz von Algorithmen analysiert. Das Buch richtet sich an Studierende der Informatik und verwandter Fächer und kombiniert theoretische Konzepte mit praktischen Anwendungen.