un langage est un ensemble de chaînes de symboles issus d'un alphabet. Avec ces langage, on peut en construire d'autres grâce à ces opérations:

par exemple, soit "L" l'ensemble des lettres et "C" l'ensemble des chiffres. Le langage L(L U C)* est l'ensemble des chaînes de lettres ou de chiffres commençant par une lettre.
Pour décrire ces langages, on peut utiliser ce que l'on appelle des expressions régulières.
...