Chapitre 10 : Théorème de Kleene
Completion requirements
Théorème de Kleene.
Traduction des automates en expressions régulières:
- Équations associées aux états d'un automate. Lemme d’Arden.
- Méthode par suppression des états.
- Équations associées aux chemins d'un automate.
Traduction des expressions régulières en ANDEF et en ADEF.
- Traduction compositionnelle en ANDEF
- Traduction par calcul de l'ADEF dérivé d'une expression régulière.