Příklad:
Uvažujme
A
Apa
bc
|–
A
B
q
bc
[
1
:
Apa
®
Bq
] a
A
Bqb
c
|–
A
BCr
c
[
2
:
Bqb
®
BCr
].
Potom
,
A
Apa
bc
|–
2
A
BCr
c
[
1 2
],
A
Apa
bc
|–
+
A
BCr
c
[
1 2
],
A
Apa
bc
|–
*
A
BCr
c
[
1 2
]
Sekvence přechodů
2/2
28/50
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
].