Exercice de compilation??

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

  1. de mes lointains souvenir... il n'a aps d'ordre.
    1. alors je peut mettre le T4 avant le T3 ou T6 avant T5... c'est pas vrmt important ok merci b1
      1. 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).