A
Derivační krok u BKG
Definice:
Nechť
G
= (
N
,
T
,
P
,
S
)
je
BK
G.
Nechť
u
,
v
Î
(
N
È
T
)
*
a
p
=
A
®
x
Î
P
.
Potom
,
u
A
v
přímo
deriv
uje
u
x
v
za použití
p
v
G
, zapsáno
u
A
v
Þ
u
x
v
[
p
]
nebo zjednodušeně
u
A
v
Þ
u
x
v
.
Pozn.
:
Pokud
u
A
v
Þ
u
x
v
v
G
,
můžeme říct, že
G
provádí
derivační krok z
u
A
v
d
o
u
x
v
.
Myšlenka: Změnění řetězce použitím pravidla
v
u
Pravidlo
:
A
®
x
x
…
u
v
…
5/50