El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados».