Un linguaggio di comunicazione attraverso la codifica è un linguaggio informatico formale progettato per comunicare istruzioni a una macchina, in particolare a un computer. I linguaggi di comunicazione attraverso la codifica possono essere utilizzati per creare programmi per controllare il comportamento di una macchina o per esprimere algoritmi. La prima macchina programmabile conosciuta precede l'invenzione del computer digitale ed è il suonatore automatico di flauto descritto nel IX secolo dai fratelli Musa a Baghdad, "durante l'età dell'oro islamica". Dall'inizio del 1800, i "programmi" sono stati utilizzati per dirigere il comportamento di macchine come i telai Jacquard e i pianoforti. Sono stati creati migliaia di linguaggi di comunicazione attraverso la codifica, soprattutto nel campo dell'informatica, e ogni anno ne vengono creati molti altri. Molti linguaggi di comunicazione attraverso la codifica richiedono che il calcolo sia specificato in forma imperativa (cioè come una sequenza di operazioni da eseguire), mentre altri linguaggi utilizzano altre forme di specificazione del programma, come la forma dichiarativa (cioè viene specificato il risultato desiderato, ma non come raggiungerlo).