Exemple 4.32
A la grammaire:`
E → T E′
E′ → +T E′ | ǫ T → F T′
T′ → ∗F T′ | ǫ F → (E) | id
on associe la table d’analyse suivante:
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id id T′ E′ $ id + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id)
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′ + T E′ $ + id * id $
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +)
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +)
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
E $ id + id * id $ E → T E′ T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
T E′ $ id + id * id $ T → F T′ F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +)
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
F T′ E′ $ id * id $ F → id
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
F T′ E′ $ id + id * id $ F → id
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
F T′ E′ $ id * id $ F → id
id T′ E′ $ id * id $ (Consommer le terminal id)
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
id T′ E′ $ id + id * id $ (Consommer le terminal id) T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
F T′ E′ $ id * id $ F → id
Exemple 4.32, entr´ ee id + id ∗ id
Non- Symbole d’entr´ee
terminal id + ∗ ( ) $
E E → T E′ E → T E′
E′ E′ → +T E′ E′ → ǫ E′ → ǫ
T T → F T′ T → F T′
T′ T′ → ǫ T′ → ∗F T′ T′ → ǫ T′ → ǫ
F F → id F → (E)
Pile Entr´ee Sortie
T′ E′ $ + id * id $ T′ → ǫ
E′ $ + id * id $ E′ → + T E′
+ T E′ $ + id * id $ (Consommer le terminal +) T E′ $ id * id $ T → F T′
F T′ E′ $ id * id $ F → id
id T′ E′ $ id * id $ (Consommer le terminal id) T′ E′ $ * id $ T′ → ∗ F T′