Es un lenguaje formal, mediante una serie de instrucciones, le permite a un programador escribir un conjunto de ordenes, acciones consecutivas, datos y algoritmos, para de esa forma, crear programas que controlen el comportamiento físico y lógico de una maquina.