Langage formel
ensemble de chaînes de symboles contraintes par des règles / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Langages formels?
Résumez cet article pour un enfant de 10 ans
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.