Un linguaggio artificiale che specifica le istruzioni da eseguire su un computer. Il termine copre un ampio spettro, da binario codificato in linguaggio macchina per linguaggi ad alto livello.