Die überarbeitete Ausgabe des erfolgreichen Handbuchs von Michael Sipser erzählt die faszinierende Geschichte der Berechnungstheorie – eines Wissensgebiets, das elegante Schlussfolgerungen und spannende unbeantwortete Fragen an der Schnittstelle von Mathematik und Informatik umfasst.

Der unmittelbare, klare Stil von Sipser ermöglicht es Studierenden jeder Stufe, dieses Wissensgebiet zu verstehen und zu genießen. Die bahnbrechenden Abschnitte über „Beweisideen“ geben auf intuitive Weise Einblicke in die Ideen, auf denen die formalen Beweisführungen der Theoreme basieren, und erklären die grundlegenden Konzepte in verständlicher Sprache.

Diese überarbeitete Ausgabe, die zeitgemäße Ergänzungen und zusätzliche Beispiele zu grundlegenden Themen enthält, bleibt im etablierten, zugänglichen Stil des Buches, während eine neue, bahnbrechende theoretische Analyse der kausalen unkonstruierbaren Grammatiken das Verständnis der syntaktischen Analyse und der LR(k)-Grammatiken erleichtert.