ZA: Modely pro SA shora dolů 1/2
1) M obsahuje porovnávací pravidla, která porovnají symbol z vrcholu zásobníku a aktuální symbol ze vstupní pásky:
pro každé a Î S:
přidej asa ® s do R;
x
y
s
2) M obsahuje expanzivní pravidla, která simulují
    gramatická pravidla:
A
s
y
s
y
an  …  a1
a
s
y
x
a
pro každé A ® a1 …an Î P v G, přidej As ® an …a1s do R;
= reversal(a1 …an)
45/50
Myšlenka: Na ZA M je založena SA pracující shora dolů