Un lenguaje artificial que especifica las instrucciones para ser ejecutado en un ordenador. El término cubre un amplio espectro, de lenguaje de máquina codificados en binario para lenguajes de alto nivel.