Poznámky
Osnova
Kapitola VIII.
Syntaktická analýza shora dolů
SA shora dolů: Úvod
Výběr pravidla pomocí tabulky
Množina First
LL gramatika bez
e
-pravidel
Jednoduchý programovací jazyk (JPJ)
Algoritmus: First(X)
First(X) pro JPJ: Příklad
Konstrukce LL-tabulky
SA založená na LL-tabulce: Příklad
LL gramatiky: Úspěšné transformace
Faktorizace (vytýkání)
Odstranění levé rekurze
LL-gramatiky s
e
-pravidly: Úvod
Gramatika pro aritmetické výrazy
Množina Empty
Algoritmus: Empty(X)
Předchozí algoritmus: Ilustrace
Empty(X) pro G
expr
3
: Příklad
Algoritmus: First(X)
Předchozí algoritmus: Ilustrace
First(X) for G
expr
3
: Příklad
First(X) & Empty(X) pro G
expr
3
: Celkově
Algoritmus: First(X
1
X
2
…X
n
)
First(X
1
X
2
…X
n
): Příklad
Algoritmus: Empty(X
1
X
2
…X
n
)
Empty(X
1
X
2
…X
n
): Příklad
Množina Follow
Algoritmus: Follow(A)
Předchozí algoritmus: Ilustrace
Follow(X) pro G
expr
3
: Příklad
1/3
Follow(X) pro G
expr
3
: Příklad
2/3
Follow(X) pro G
expr
3
: Příklad
3/3
Množina Predict
Množina Predict(A
®
X
1
X
2
...X
n
): Ilustrace
Predict(A
®
x) pro G
expr
3
: Příklad 1/2
Predict(A
®
x) pro G
expr
3
: Příklad 2/2
Konstrukce LL-tabulky
SA založená na LL-tabulce: Příklad
LL gramatiky s
e
-pravidly: Definice
Implementace LL Analyzátoru
Rekurzívní sestup: Příklad 1/4
Rekurzívní sestup: Příklad 2/4
Rekurzívní sestup: Příklad 3/4
Rekurzívní sestup: Příklad 4/4
Rekurzívní sestup: Ilustrace pro i*i$
Prediktivní syntaktická analýza
Prediktivní SA: Algoritmus
Prediktivní SA: Příklad
Zotavení z chyb: Úvod
Hartmannova metoda: Zotavení z chyb
Zotavení z chyb: Ilustrace 1/2
Zotavení z chyb: Ilustrace 2/2
Context(X) pro prediktivní SA: Varianta I
Varianta I: Příklad
Context(X) pro prediktivní SA: Varianta II
Varianta II: Příklad