SA shora dolů: Úvod
S
A
a
x
y
Problém:
Které pravidlo použít?
Myšlenka:
Tabulka:
...
a
...
...
...
A
t(p, a)
a(A, a)
a
Použij: r: A ® x
Otázka: Je možné sestrojit tuto tabulku pro libovolnou BKG?
Odpověď: NE
2/57