ZA: Modely pro SA shora dolů
1/2
1)
M
obsahuje
po
rovná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
a
s
a
®
s
d
o
R
;
x
y
s
2)
M
obsahuje
expan
zivní
pravidla, která simulují
gramatická pravidla:
A
s
y
s
y
a
n
…
a
1
a
s
y
x
a
pro každé
A
®
a
1
…a
n
Î
P
v
G
,
přidej
A
s
®
a
n
…a
1
s
do
R
;
= reversal(
a
1
…a
n
)
45/50
Myšlenka:
Na Z
A
M
je založena SA pracující shora dolů