Testo Blocco Tematico B: Teoria della computazione --> Unità di apprendimento 2 (Teoria degli automi)