Un linguaggio di programmazione è un linguaggio informatico formale progettato per comunicare istruzioni a una macchina, in particolare a un computer. I linguaggi di programmazione 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 programmazione diversi, soprattutto nel campo dell'informatica, e ogni anno ne vengono creati molti altri. Molti linguaggi di programmazione 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).

La descrizione di un linguaggio di programmazione viene solitamente suddivisa nelle due componenti della sintassi (forma) e della semantica (significato). .