Langage formel
Un langage formel se compose de mots dont les lettres sont tirées d'un alphabet et sont bien formés selon un ensemble de règles spécifiques.
L’alphabet d'une langue formelle est constitué de symboles, de lettres ou de jetons qui se concaténent en chaînes de la langue. La chaîne concaténée de symboles de cet alphabet est appelé un mot, et 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 au moyen d'une grammaire formelle telle qu'une grammaire régulière ou une grammaire sans contexte, qui consiste en ses règles de formation.
