Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo.
Sabemos que es necesario federalizar la ejecución de las obras, ya que esto permite también la generación de trabajo y de formación de empresas en las propias provincias, lo que ayuda a una redistribución del ingreso, porque genera mayor trabajo en los municipios, en las provincias.