Η ανανεωμένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού - ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των «αποδεικτικών ιδεών» αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις των θεωρημάτων, επεξηγώντας τις θεμελιώδεις έννοιες σε καθομιλουμένη γλώσσα. Η αναθεωρημένη αυτή έκδοση, στην οποία έχουν συμπεριληφθεί επίκαιρες προσθήκες και περισσότερα παραδείγματα σε βασικά ζητήματα, παραμένει στο καθιερωμένο, προσιτό ύφος του βιβλίου, ενώ μια νέα, πρωτοποριακή, θεωρητική ανάλυση των αιτιοκρατικών ασυμφραστικών γραμματικών διευκολύνει την κατανόηση της συντακτικής ανάλυσης και των γραμματικών LR(k).