Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα