Παράλληλα, το βιβλίο παραμένει μια έγκυρη εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού. Μια εντελώς καινούργια και παιδαγωγικά ελκυστική συλλογή αναγωγών, που προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών.

Υποστηρικτικό υλικό διδασκαλίας: Στους διδάσκοντες που χρησιμοποιούν το σύγγραμμα αυτό ως κύριο διδακτικό εγχειρίδιο προσφέρονται από τις εκδόσεις Κριτική και οι λύσεις των ανά ενότητα ασκήσεων.