appunti/Automi e Linguaggi/2020-09-28 Automi a stati finiti.pdf