Pokud
c
0
|
–
n
c
n
[
r
] pro n
ějaké
n
³
1,
pak
c
0
|
–
+
c
n
[
r
].
Pokud
c
0
|
–
n
c
n
[
r
]
pro nějaké
n
³
0,
pak
c
0
|
–
*
c
n
[
r
].
Příklad:
Uvažujme
p
a
bc
|–
q
bc
[
1
:
p
a
®
q
] a
q
b
c
|–
r
c
[
2
:
q
b
®
r
].
Potom:
p
a
b
c
|–
2
r
c
[
1 2
],
p
a
b
c
|–
+
r
c
[
1 2
],
p
a
b
c
|–
*
r
c
[
1 2
]
Sekvence přechodů
2/2
15
/2
9