Συγγράμματα που έχουν προταθεί για το ακαδ. έτος 2015-2016:
- Εισαγωγή στη Θεωρία Υπολογισμού, M. Sipser, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007.
- Στοιχεία θεωρίας υπολογισμού, H. Lewis, Χ. Παπαδημητρίου, Εκδόσεις Κριτική, 2005.
Βιβλιογραφία:
- Εισαγωγή στη Θεωρία Υπολογισμού, M. Sipser, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007.
- Στοιχεία θεωρίας υπολογισμού, H. Lewis, Χ. Παπαδημητρίου, Εκδόσεις Κριτική, 2005.
- Αυτόματα και Τυπικές Γραμματικές, Ε. Ζάχος, Σημειώσεις, Εθνικό Μετσόβιο Πολυτεχνείο, 2008.
- Υπολογισιμότητα και Πολυπλοκότητα, Ε. Ζάχος, Σημειώσεις, Εθνικό Μετσόβιο Πολυτεχνείο, 2004.