Exercice de compilation??

lindap Messages postés 86 Statut Membre -  
lindap Messages postés 86 Statut Membre -
Bonjour,
pour ce langage , donnez une grammaire permettant de générer ce langage:
Tous les mots décrits par l'expression régulière abb(a|b)*ab(aa|bb)+(a+b)*b

voici la solution:

S-> abbT0abT1b
T0-> aT0|bT0|?
T1-> T2T3
T2-> aaT4|bbT4
T4-> T2|?
T3]-> T5bT3|?
T5-> aT6
T6-> T5|?

remarque le ? : c'est le epsilon

je n'arrive pas a comprendre pourquoi T4 est avant le T3!!?? est ce que c'est correcte cette solution ou non svp?

4 réponses

KarCAroum Messages postés 298 Statut Membre 91
 
de mes lointains souvenir... il n'a aps d'ordre.
3
Doctor C Messages postés 648 Statut Membre 399
 
Je suis d'accord avec KarCAroum, l'ordre n'est pas ce qui est important.

Ce qui est important, ce sont les définitions des termes T0 à T6 (désolé, j'ai oublié la terminologie des éléments d'une grammaire).
1
lindap Messages postés 86 Statut Membre 1
 
alors je peut mettre le T4 avant le T3 ou T6 avant T5... c'est pas vrmt important ok merci b1
1
lindap Messages postés 86 Statut Membre 1
 
alors je peut mettre T4 ensuite T3c'est pas un pb!!
0