informatique le suivi définit

Question

Ma tâche consiste à calculer FIRST et SUIVEZ ensembles pour la grammaire suivante:

P ::= S CS . 
S ::= (int , int) 
CS ::= C CS | epsilon 
C ::= left int | right int | low C 

je suis arrivé les premiers sets suivants:

FIRST(S) = {'('} 
FIRST(C) = {left,right,low} 
FIRST(CS) = {left,right,low,epsilon} 
FIRST(P) = FIRST(S) = {'('} 

Pour les ensembles suivants je calculais:

FOLLOW(P) = $ (or empty) 
FOLLOW(C) = {left,right,low,'.'} 
FOLLOW(CS) = {'.'} 
FOLLOW(S) = {left,right,low} 

J'ai essayé ma solution en utilisant d'abord et après le générateur de jeux et ce que j'ai obtenu avec SUIVRE (S) était: FOLLOW(S) = {'.', left, right, low}. La solution du générateur est-elle correcte et pourquoi? J'ai calculé ma solution en utilisant la formule: FOLLOW(S) = FIRST({left,right,low} concat FOLLOW(P)) = {left, right, low}. Quelqu'un peut-il m'expliquer pourquoi la solution de mon/générateur n'est pas correcte et vérifier si j'ai tout le reste correct? Je veux aussi savoir pourquoi je n'ai pas int dans un premier jeu ou un jeu suivant et si cela sera correct avec l'analyseur de construction plus tard de toute façon. Merci

Answer 1

Lorsque vous calculez des ensembles FOLLOW, vous devez faire attention aux productions vides.

Dans ce cas, CS a une production vide, ce qui signifie que S pourrait être suivie d'une . en P → S CS .. De même, le C en C CS peut-être à la fin de la production, donc C pourrait aussi être suivi d'un .

int ne peut apparaître après un jeton left ou right. Il ne peut jamais apparaître au début d'un nom-terminal ni immédiatement après un non-terminal. Donc, il est entièrement prévu qu'il ne soit pas dans un ensemble FIRST ou FOLLOW.