Es un lenguaje formal que, por medio de una secuencia de indicaciones, le posibilita a un programador redactar un grupo de directivas, ocupaciones consecutivas, datos y algoritmos para, en ese sentido, generar programas que controlen la conducta físico y lógico de una máquina.
-