Uma linguagem artificial que especifica instruções a serem executados em um computador. O termo abrange um largo espectro, da linguagem de máquina binário-codificado para linguagens de alto nível.