Αυτόματα και τυπικές γλώσσες - Δημητρίου, Αναστάσιος (Ελληνικό Ανοικτό Πανεπιστήμιο, 2002)