Introduction to the Theory of Computation

"Introduction to the Theory of Computation" von Michael Sipser ist ein grundlegendes Textbuch, das sich mit den theoretischen Aspekten der Informatik beschäftigt. Es bietet eine umfassende und zugängliche Einführung in die wichtigsten Themen wie Automaten, formale Sprachen, Berechenbarkeit und Komplexitätstheorie. Das Buch beginnt mit einer Diskussion über Finite Automaten und reguläre Ausdrücke, gefolgt von kontextfreien Grammatiken und Pushdown-Automaten. Weiter werden Turing-Maschinen eingeführt und es wird diskutiert, was berechenbar ist und was nicht. Der letzte Teil des Buches behandelt die Theorie der NP-Vollständigkeit. Jedes Kapitel enthält Übungsaufgaben, um das Verständnis zu vertiefen.