Un langage formel L sur un alphabet Î # est un sous-ensemble de Î # \ *, c'est-à-dire un ensemble de mots sur cet alphabet.
Comme exemple de langage formel, un alphabet peut être. Une chaîne de caractères sur cet alphabet.