ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΥΠΟΛΟΓΙΣΜΟΥ

Το βιβλίο [. . .] μια μαθηματικά ακριβής εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού, [. . .] προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών. [. . .] Όλα τα θέματα εξετάζονται από την μοντέρνα αλγοριθμική σκοπιά, έχουν προστεθεί ενότητες για συντακτική ανάλυση και ο συμβολισμός της μηχανής Turing εισάγεται λιγότερο αυστηρά. [. . .] Ο συγγραφέας του βιβλίου, Χρίστος Παπαδημητρίου, σχολιάζει στον πρόλογό του στην ελληνική μετάφραση του βιβλίου: «Θεωρία αυτομάτων στην εποχή του Ίντερνετ; . . .Ναι, γιατί όσο πιο ψηλά συσσωρεύονται οι επιτυχίες της επιστήμης μας, τόσο αυξάνει η σημασία των θεμελίων της»