Explicitar la estructura lógica de un lenguaje sustituyendo los términos descriptivos por variables (X,Y,Z). La formalización también implica reglas de formación y reglas de transformación. Un lenguaje formalizado es un lenguaje (en el sentido metafórico del término) cuya estructura lógica está explícita y formulada completamente.