Questi appunti hanno una funzione esclusivamente di ausilio alla didattica. Non hanno la pretesa di offrire una trattazione complessiva delle teorie formali né, tantomeno, di approfondire un aspetto di tale tematica. Il nostro intento è, piuttosto, fornire un’introduzione molto generale ad alcuni concetti di base e mostrare le tappe (teoriche e storiche) principali dell’evoluzione delle teorie formali. Per fare questo è necessario un minimo di bagaglio terminologico e concettuale. (tratto dall'introduzione dell'Autore)