Diese aktualisierte Ausgabe von Michael Sipsers erfolgreichem Lehrbuch erzählt die faszinierende Geschichte der Berechnungstheorie – ein Bereich, der elegante Schlussfolgerungen und faszinierende unbeantwortete Fragen an der Schnittstelle von Mathematik und Informatik umfasst. Sipsers direkter, klarer Stil ermöglicht es Studenten jeden Niveaus, dieses Studienfeld zu verstehen und zu genießen. Die bahnbrechenden Abschnitte "Beweisideen" enthüllen auf einer intuitiven Ebene die Ideen, auf denen die formalen Beweise der Theoreme basieren, und erklären die grundlegenden Konzepte in umgangssprachlicher Sprache. Diese überarbeitete Ausgabe, die rechtzeitige Ergänzungen und mehr Beispiele zu wichtigen Themen enthält, bleibt im etablierten, zugänglichen Stil des Buches, während eine neue, bahnbrechende theoretische Analyse deterministischer kontextfreier Grammatiken das Verständnis der syntaktischen Analyse und LR(k)-Grammatiken erleichtert.