Syntaxe

En logique, la syntaxe concerne les règles utilisées pour la construction de symboles et des mots d'un langage, par opposition à la sémantique d'une langue qui concerne sa signification. La syntaxe n'a rien à voir avec les langages formels ou les systèmes formels sans tenir compte de l'interprétation ou du sens qui leur est donné. Les symboles, formules, systèmes, théorèmes, et interprétations exprimées dans un langage formel sont des entités syntaxiques dont les propriétés peuvent être étudiées sans tenir compte du tout sens qu'on peut leur donner. La syntaxe est généralement associée aux règles (ou grammaire) gouvernant la composition des textes dans un langage formel qui constituent les formules bien formées dans un langage de programmation. En informatique, la (en) est un terme qui se réfère aux règles régissant la composition des expressions bien formées dans un langage de programmation. Comme dans la logique mathématique, elle est indépendante de la sémantique et de l'interprétation.