Exercice 2

Reprenons l'exercice 1 du TP sur les automates: il s'agit de réécrire la même chose dans un script Python.

1. spécifiez avec OpenGRM les deux expressions régulières a(a|b|c)* et a*b+a* et compilez-les dans des automates.
2. créez les représentations graphiques des deux automates avec du code Python.
3. Toujours en Python, calculez l'union et l'intersection des deux automates obtenus précédemment.
4. calculez des automates minimaux pour cette union et cette intersection (il faut faire plusieurs opérations successives).
5. affichez quelques chaînes appartenant à l'union des deux langages.