Pourquoi HTML n'est-il pas un langage de programmation

Le chapitre 3 énumère les constructions élémentaires dont dispose tout langage de programmation : affectation, séquence, conditionnelle, boucle, et l'appel de fonction. HTML n'en possède aucune. On ne peut y écrire ni « si l'utilisateur est connecté, afficher son nom », ni « répéter cette ligne pour chaque élève », ni « soit $x$ la somme des notes ».

HTML décrit : il dit qu'il y a ici un titre, là un paragraphe, là un champ de saisie. Un document HTML n'a pas d'exécution, donc pas de résultat, donc pas de terminaison à prouver.

Contrôle : une page HTML ne peut pas boucler indéfiniment. La question de la terminaison, centrale dès qu'il y a une boucle, n'a tout simplement pas de sens ici — c'est le signe le plus net qu'il ne s'agit pas d'un langage de programmation.

Piège : confondre « on peut écrire des choses compliquées en HTML » et « HTML calcule ». Une page peut être très longue et très riche sans rien calculer. CSS est dans le même cas ; JavaScript, lui, possède les cinq constructions.