Pokud
u
0
Þ
n
u
n
[
p
] pro n
ějaké
n
³
1,
pak
u
0
derivuje
u
n
v
G
,
zapisujeme:
u
0
Þ
+
u
n
[
p
].
Pokud
u
0
Þ
n
u
n
[
p
] pro n
ějaké
n
³
0,
pak
u
0
deriv
uje
u
n
v
G,
zapisujeme:
u
0
Þ
*
u
n
[
p
].
Příklad:
Uvažujme
a
A
b
Þ
a
aBb
b
[
1
:
A
®
aBb
]
a
aa
B
bb
Þ
aa
c
bb
[
2
:
B
®
c
].
Potom:
a
A
b
Þ
2
aa
c
bb
[
1 2
],
a
A
b
Þ
+
aa
c
bb
[
1 2
],
a
A
b
Þ
*
aa
c
bb
[
1 2
]
Sekvence derivačních kroků
2/2
7/50