Langage informatique
Un langage informatique est un ensemble de règles définissant l'usage et la syntaxe de certaines règles en vue de produire des effets prévisibles et de permettre leur manipulation automatisée.
Entre l'utilisateur et la machine
Un langage doit présenter deux aspects logiques :
- une syntaxe plus ou moins intelligible pour l'utilisateur (l'intelligibilité du code est en général inversement proportionnelle au degré de proximité avec les instructions machine) ;
- une structure formelle plus ou moins rigoureuse permettant à la machine de comprendre le code avec le moins d'ambiguïté possible.
Interprétation et compilation
La définition formelle d'un langage (sa norme) est généralement accompagnée de programmes particuliers permettant leur exécution ou leur manipulation par la machine. Ces programmes peuvent être :
- des interpréteurs, qui procèdent quasi simultanément au décodage et à la manipulation du code ;
- des compilateurs, qui séparent le décodage de la manipulation du code qui en résulte.
Types de langages
Outre la division en langages interprétés et langages compilés (certains langages pouvant se prêter aux deux traitements), il existe une autre classification importante des langages informatiques, en :
- langages de programmation, comme l'assembleur, le langage C, Java, Perl, etc. ;
- langages de description de format de document, comme roff, LaTeX, SGML (et ses dérivés : XML, HTML...), etc.
Les premiers donnent à la machine des instructions à exécuter, tandis que les seconds définissent la structure d'un document et en permettent la génération sous différents formats.