Langages naturels, langages formels

langage formel
Un langage avec des règles explicites pour sa syntaxe et sa sémantique. On peut par exemple citer les langages de programmation et aussi logiques comme pour le calcul fonctionnel. Ainsi, les langages formels contrastent avec les langages naturels comme l’anglais dont les règles, évoluant comme elle le font avec l’usage, échouent aussi bien à être une définition complète ou précise de la syntaxe, et encore davantage de la sémantique du langage. [1]

Exemples

Langages naturels

extrait du mariage de figaro

La réplique du comte dans « La mariage de Figaro » peut-être aujourd’hui lue différemment.

Langages formels

  • notation pour les prescriptions optiques
  • notation fonctionnelle en mathématique
  • notation musicale
[1]« Formal language : A language with explicit and precise rules for its syntax and semantics. Examples include programming languages and also logics such as *predicate calculus. Thus formal languages contrast with natural languages such as English whose rules, evolving as they do with use, fall short of being either a complete or a precise definition of the syntax, much less the semantics, of the language. » Ekembe Ngondi, Gerard, and Andrew Butterfield. A Dictionary Of Computer Science. Oxford University Press, 2016.