formalización.

sustantivo femenino ( f.) Lógica (Lóg.) Reducción de cualquier exp. de un lenguaje a fórmulas mediante unos símbolo ( símb.) y unas normas acordadas previamente.