Oggi ne esistono di diversi, ciascuno con caratteristiche proprie e ambiti di utilizzo differenti, tutti sono però definiti da un lessico, un insieme di regole (sintassi) e una semantica formale.
Alla base dei siti web e delle app che usiamo tutti i giorni ci sono i linguaggi di programmazione, cioè linguaggi formali che assegnano determinate istruzioni al computer per l'esecuzione di un compito. Oggi ne esistono di diversi, ciascuno con caratteristiche proprie e ambiti di utilizzo differenti, tutti sono però definiti da un lessico, un insieme di regole (sintassi) e una semantica formale. A scriverli sono i programmatori informatici, noti anche come developer (sviluppatori), che utilizzano appositi editor di testo per compilare il codice sorgente, ossia il testo di un algoritmo di un programma, o meglio ancora l'insieme di istruzioni necessarie per creare un programma per computer.