L’HTML (HyperText Markup Language) è il linguaggio formale di marcatura standard nato per la formattazione e l’impaginazione di documenti ipertestuali accessibili nel World Wide Web. Ideato da Tim Berners-Lee nel 1990 presso il CERN, è la spina dorsale semantica di ogni sito web.
A differenza di linguaggi di programmazione completi (come Python o C++), l’HTML non possiede costrutti logici (cicli for, istruzioni if, dichiarazioni di variabili), motivo per cui non è Turing-completo. Il suo compito esclusivo è descrivere la struttura logica e il ruolo semantico del contenuto testuale e multimediale, demandando la presentazione visiva ai fogli di stile (CSS) e il comportamento interattivo a JavaScript (JS).
L’HTML utilizza un sistema a tag (etichette racchiuse da parentesi angolari, es. <article>, <p>, <a>) per delimitare gerarchicamente gli elementi (DOM - Document Object Model). Questa struttura ad albero permette ai web browser (Chrome, Firefox) di interpretare il file di testo grezzo e renderizzarlo come una pagina visiva.
Le specifiche dell’HTML sono mantenute dal World Wide Web Consortium (W3C) e dal WHATWG. La versione attuale, HTML5, ha introdotto un vocabolario semantico arricchito (con tag specifici come <header>, <footer>, <nav>) per migliorare radicalmente l’accessibilità da parte degli screen reader e l’indicizzazione per i motori di ricerca (SEO), integrando inoltre nativamente il supporto per flussi audio/video (tramite <audio> e <video>) riducendo la dipendenza da plugin esterni.