Αυτόματα: σχεδίασε και τρέξε · Θεωρία Υπολογισμού