Analyse Syntaxique
Réponse
Chaque fois qu'un état de l'automate déterministe contient
deux items de la forme X® a. Y b et
Y® . g, ajouter Prem(b) à l'ensemble de prévision
de l'item Y® . g.
Et, si b[ * || (® )] e,
tout élément de l'ensemble de prévision de
X® a. Y b sera propagé à celui de
Y® . g.
Et enfin la règle ``normale'' de propagation des ensembles comme
dans le cas de l'automate nondéterministe: si un état
contient un item X® a. y b {E}, E
est ajouté à l'ensemble de l'item X® ay. b {E}
dans le y successeur de l'état.
En particulier, la partie des ensembles qui n'est pas propagée
d'autres états, peut-elle être calculée à partir des
items d'un état?
Réponse Oui.
{ int x=0,y; for (y=0;2*y<10;y++) x++; x--; y=0; }Réponse