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 630 Date d'inscription   Statut Membre Dernière intervention   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