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.