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