Libri/Linguaggi Formali e Automi