appunti/Automi e Linguaggi/2020-09-23 Preliminari.pdf