Formalizzazione e teoria del linguaggio,