Langage & automate

[Rockleader]

Bonsoir à tous,

j'aurais besoin d'aide pour comprendre comment résoudre le problème suivant.

L'alphabet X = {a,b}

J'ai une grammaire J représentant le langage X*aaX*

Que j'ai spécifié par

L0 = aL0 + bL0 + aL1 + lambda
L1= aL2
L2= aL2+bL2+ lambda


Une grammaire K représentant aX*

avec

L3=aL4
L4 = aL4 + bL4 + lambda



On me demande de déduire l'automate qui reconnait J+K; mais moi j'aimerais retrouver le résultat par le calcul mais je n'y arrive pas !!! :mur:

[Doraki]

C'est quoi lambda ?

[Rockleader]

C'est quoi lambda ?

Lambda c'est le mot vide

[Doraki]

Donc le mot vide appartient à L0 ? Mais je croyais que L0 devait être X*aaX* ?

[Rockleader]

Donc le mot vide appartient à L0 ? Mais je croyais que L0 devait être X*aaX* ?

Bonne remarque, le mot vide appartient à X* effectivement mais c'est vrai que je ne peux pas avoir le mot vide de reconnu du coup.

==> L0 = aL0 + bL0 + aL1

[nekochan]

Je tenterais bien d'identifier L2 et L4 puis de poser L3=aL4 + bL0. Il me semble que c'est ce qui correspond à distinguer les mots qui commencent par a ou par b ce qui fait qu'on se trouve ensuite soit dans J soit dans K.