appunti/Automi e Linguaggi/2020-10-30 Equivalenza tra ...