Automates finis (distribution) Dut info

[unocool]

Bonjours,
nous venons d'étudier le calcul du langage reconnu par la méthode de départ.
J'ai tout compris sauf un léger détail :
Les lois de distribution, par exemple, pour passer de cette ligne à l'autre comment fait-on ?

D1 = aD2 + b(b* + b* aD2)
à
D1 = aD2 + (b+) + (b+) aD2

Merci d'avance pour toutes vos réponses !

[Doraki]

Ben on dit que A(B+C) = AB+AC. Ensuite on dit que b+ est un joli nom pour désigner bb*

[unocool]

Ben on dit que A(B+C) = AB+AC. Ensuite on dit que b+ est un joli nom pour désigner bb*

oui, mais j'aimerais bien avoir les règles exactes, quand j'aurais mon contrôle, je ne ferais pas ce genre de remarque à mon prof ... (j'ai cherché sur le net mais je n'ai rien trouvé)
et donc aD2 est un élément absorbant de b ?

[Doraki]

Qu'appelles-tu un élément absorbant de b ?

Si je me souviens bien, dans la résolution de systèmes, les règles sont :
L1(L2 + L3) = L1L2 + L1L3 ;
L1L3 + L2L3 = (L1+L2)L3 ;
L1 = L2 L1 + L3 <=> L1 = L2* L3

[unocool]

Qu'appelles-tu un élément absorbant de b ?

D1 = aD2 + b(b* + b* aD2)
à
D1 = aD2 + (b+) + (b+) aD2
lors de la distribution de b avec aD2, ça donne aD2

EDIT : Et comme tu dis b(b*) donne b+ donc il doit y avoir d'autres règles.