Discussion :

[minirop]

Bonjour,
j'ai traduis partiellement l'article "LL_Parser" de la wikipedia anglaise puis codé l'exemple, mais j'ai un problème au niveau de certains cas lorsque je veux en rajouter.

1/ Comment gérer les cas où les premiers tokens sont identiques. exemple :
1. S -> S+S
2. S -> S*S
3. S -> (S)
on voit que les règles 1 et 2 commencent pareil, comment les gérer avec un analyseur LL(1) (autrement qu'avec un analyseur LL(2)) ?

EDIT : j'ai trouvé la parade, suffit de faire :
1. S -> S OP S
2. OP -> +
3. OP -> *
4. S -> (S)

2/ Je n'ai absolument rien compris à la construction de la table d'analyse : lien ici, quelqu'un aurait il un lien français ou m'aider à comprendre ?

merci

[PRomu@ld]

Comment gérer les cas où les premiers tokens sont identiques. exemple :

En fait tu essaie de construire un automate LL(1) pour une grammaire qui ne l'est pas. Ta grammaire est récursive gauche, elle n'est donc pas ll(k) (ie: tu pourra être amené à trouver au moins k+1 caractères avant de pouvoir appliquer une règle de décision). Le problème ne vient pas des opération + et * mais plutôt de l'axiome :

S -> S Op S

Pour construire l'automate, il faut passer par un automate LR (au minimum), tu peux jeter un oeil là dessus, ça peut éventuellement t'aider.

http://www.developpez.net/forums/sho...d.php?t=422693

Je n'ai absolument rien compris à la construction de la table d'analyse

La table construit deux ensembles : First et Follow puis ensuite construit l'automate à l'aide de la méthode suivante :

T[A,a] contains the rule A → w if and only if
a is in Fi(w) or
ε is in Fi(w) and a is in Fo(A).

Ce qu'ils appellent Fi c'est First et ce qu'ils appellent Fo, c'est Follow.