Pourquoi les seuls états 0 et 2 sont-ils présents à la ligne 8?

Question

LR Parsing:

LR Parsing Tableau:

Dans la ligne 7, nous réduisons par T->T*F.

Et l'état 7 sur T n'a aucune transition.

Dans la ligne 8, pourquoi avons-nous seulement les états et ?

Answer 1

A l'étape 7, nous réduisons T←T*F, ce qui signifie que:

1. Nous pop la droite hors de la pile, ne laissant que l'état 0 correspondant au symbole $.

2. Nous consultons les transitions goto de l'état 0 (nouveau sommet de la pile) pour le symbole de gauche T. Cela indique que nous devrions aller à l'état 2.

3. Nous poussons le nouvel état 2 sur la pile avec le symbole associé T.

A la fin, la pile est 0 2 avec des symboles $ T, comme indiqué à l'étape 8.

Ceci est bien décrit dans le texte et les algorithmes pseudocode de l'excellent livre dont les tableaux ont été copiés .