Příklad:
Uvažujme:
a
p
b
c
|–
a
q
a
c
[
1
:
p
b
®
q
a
S
] a
a
q
a
c
|–
a
c
r
c
[
2
:
q
a
®
r
c
R
].
Potom
,
a
p
b
c
|–
2
a
c
r
c
[
1 2
],
a
p
b
c
|–
+
a
c
r
c
[
1 2
],
a
p
b
c
|–
*
a
c
r
c
[
1 2
]
Sekvence přechodů
2/2
1
4
/45
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
].