Το βιβλίο [. . .] μια μαθηματικά ακριβής εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού, [. . .] προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών. [. . .] Όλα τα θέματα εξετάζονται από την μοντέρνα αλγοριθμική σκοπιά, έχουν προστεθεί ενότητες για συντακτική ανάλυση και ο συμβολισμός της μηχανής Turing εισάγεται λιγότερο αυστηρά. [. . .] Ο συγγραφέας του βιβλίου, Χρίστος Παπαδημητρίου, σχολιάζει στον πρόλογό του στην ελληνική μετάφραση του βιβλίου: «Θεωρία αυτομάτων στην εποχή του Ίντερνετ; . . .Ναι, γιατί όσο πιο ψηλά συσσωρεύονται οι επιτυχίες της επιστήμης μας, τόσο αυξάνει η σημασία των θεμελίων της»
Christos Harilaos Papadimitriou (Greek: Χρίστος Χ. Παπαδημητρίου) is a Professor in the Computer Science Division at the University of California, Berkeley, United States. Papadimitriou is the author of the textbook Computational Complexity and has co-authored Algorithms with Sanjoy Dasgupta and Umesh Vazirani. He has collaborated with Apostolos Doxiadis on the graphic novel Logicomix, and has published one novel, Turing.
I found this book to have a more intuitive approach and friendlier notation than Hopcroft's Introduction to Automata Theory. Pretty dry stuff but when you get to the end it's all worth it.