Το βιβλίο [. . .] μια μαθηματικά ακριβής εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού, [. . .] προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών. [. . .] Όλα τα θέματα εξετάζονται από την μοντέρνα αλγοριθμική σκοπιά, έχουν προστεθεί ενότητες για συντακτική ανάλυση και ο συμβολισμός της μηχανής Turing εισάγεται λιγότερο αυστηρά. [. . .] Ο συγγραφέας του βιβλίου, Χρίστος Παπαδημητρίου, σχολιάζει στον πρόλογό του στην ελληνική μετάφραση του βιβλίου: «Θεωρία αυτομάτων στην εποχή του Ίντερνετ; . . .Ναι, γιατί όσο πιο ψηλά συσσωρεύονται οι επιτυχίες της επιστήμης μας, τόσο αυξάνει η σημασία των θεμελίων της»ΠεριεχόμεναΠΡΟΛΟΓΟΣ ΣΤΗΝ ΕΛΛΗΝΙΚΗ ΕΚΔΟΣΗΠΡΟΛΟΓΟΣ ΣΤΗΝ ΠΡΩΤΗ ΕΚΔΟΣΗΠΡΟΛΟΓΟΣ ΣΤΗ ΔΕΥΤΕΡΗ ΕΚΔΟΣΗΕΙΣΑΓΩΓΗΚΕΦΑΛΑΙΟ 1: ΣΥΝΟΛΑ, ΣΧΕΣΕΙΣ ΚΑΙ ΓΛΩΣΣΕΣΚΕΦΑΛΑΙΟ 2: ΠΕΠΕΡΑΣΜΕΝΑ ΑΥΤΟΜΑΤΑΚΕΦΑΛΑΙΟ 3: ΓΛΩΣΣΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑΚΕΦΑΛΑΙΟ 4: ΜΗΧΑΝΕΣ TURINGΚΕΦΑΛΑΙΟ 5: ΜΗ ΕΠΙΛΥΣΙΜΟΤΗΤΑΚΕΦΑΛΑΙΟ 6: ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑΚΕΦΑΛΑΙΟ 7: ΝΡ - ΠΛΗΡΟΤΗΤΑΕΛΛΗΝΟΑΓΓΓΛΙΚΟ ΓΛΩΣΣΑΡΙΑΓΓΛΟΕΛΛΗΝΙΚΟ ΓΛΩΣΣΑΡΙΕΥΡΕΤΗΡΙΟ ΟΝΟΜΑΤΩΝΕΥΡΕΤΗΡΙΟ ΟΡΩΝΥπολογιστική [ 515]
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.