Una Grammatica Formale Ë una notazione matematica
che consente di esprimere in modo rigoroso la sintassi di un linguaggio.