Langage

Langage

Articles détaillés : Langage formel et Grammaire formelle.

D'un point de vue mathématique, un langage de programmation est un langage formel construit sur un alphabet (ensemble de symboles). Dans cet alphabet, on trouve plusieurs choses :

• des lettres et des chiffres ;
• des mots-clés (combinaisons de lettres et parfois de chiffres) ;
• des caractères :
  • correspondant à des opérateurs : par exemple « = », « < », « & » ;
  • ou pas, comme « { », « _ », …

L'assemblage de ces symboles forme les « mots » du langage de programmation. Pour qu'un mot appartienne au langage, il doit vérifier certaines contraintes exprimées grâce à la théorie des langages dans une grammaire formelle : c'est la « syntaxe » du langage de programmation.
En associant une sémantique – généralement une opération – à chaque mot, on définit le comportement de la machine. La mise en relation de mots va donner un programme informatique.