appunti/Automi e Linguaggi/2020-12-03 Automi a pila.pdf