appunti/Automi e Linguaggi/2020-12-22_2 Indecidibilità...