Automate minimal et résiduels

Bonjour,

J'ai un léger problème avec les résiduels en théorie de langages : je sais comment trouver un automate minimal depuis un automate déterministe en utilisant l'algorithme de minimisation. Ce que j'aimerais, c'est maîtriser les résiduels.

Je n'y arrive qu'avec de petites expressions :

Code:

---

1 2 3 4 5 6

L= 1*01   1L=L 0L=1=L' 1L'=€ 0L'=O (ensemble vide)

---

(voir l'automate en pièce jointe)

Mais quand il y a des expressions avec plusieurs étoiles telles que ((ab)*a)*, (a(b + ab)∗ + b∗ (a + bb))* ou encore b(ab)∗ + (ba)∗ b, je suis totalement perdue…

Quelqu'un voudrait-il bien m'expliquer comment m'y prendre avec les expressions ayant des étoiles ?

Merci.