Comunicazione con i computer - Introduzione

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).