Langage formel


Définition

En mathématiques, en informatique et en linguistique, la théorie des langages a pour objectif de décrire les langages formels. Un langage formel est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini.

Les mots sont des suites d'éléments de cet alphabet; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini par une grammaire formelle, telle que les grammaires algébriques et analysé par des automates.

Français

Langage formel

Anglais

Formal language


Sources

Source : 24pm Academy

Source : Wikipedia



Contributeurs: Imane Meziani, wiki, Sihem Kouache