Back لغة متصرفة Arabic Formal dillər Azerbaijani Формален език Bulgarian Formalni jezik BS Llenguatge formal Catalan زمانی شێوەیی CKB Formální jazyk Czech Formalsprog Danish Formale Sprache German Τυπική γλώσσα Greek
Cet article concerne les langages formels en informatique. Pour d'autres usages, voir Formalisation (mathématiques).
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots[1]. 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. La théorie des langages formels a pour objectif de décrire les langages formels.
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.
- Un « mot » au sens mathématique du terme est une suite de symboles pris dans un ensemble dit « alphabet ».