appunti/Automi e Linguaggi/2020-12-07_1 Equivalenza tr...