Programma di Linguaggi E Sistemi Formali A: