L'objectif de cet exercice est de donner une sémantique à des expressions régulières simples comportant :

• l'expression vide
• l'expression atomique, qui reconnaît uniquement son atome
• l'alternative entre deux expressions régulières, qui reconnaît ce que reconnaît soit l'une, soit l'autre
• la séquence d'expressions régulières, qui reconnaît les mots composés d'un préfixe reconnu par la première, et d'un suffixe reconnu par la seconde
• la clôture de Kleene, qui reconnaît toute séquence finie de mots reconnus par une expressions régulière.

On spécifiera le langage reconnu par une expression régulière et on démontrera un certain nombre de propriétés.