M
r.t
:
Převod z
RV
na
KA:
Konkatenace
2/5
•
Nechť
r
je
RV nad
S
a
M
r
= (
Q
r
,
S
,
R
r
,
s
r
, {
f
r
})
je KA
pro který platí
L
(
M
r
) =
L
(
r
).
•
Nechť
t
je
RV nad
S
a
M
t
= (
Q
t
,
S
,
R
t
,
s
t
, {
f
t
})
je KA
pro který platí
L
(
M
t
) =
L
(
t
).
•
Potom pro RV
r
.
t
existuje ekvivalentní
KA
M
r.
t
Důkaz:
Nechť
Q
r
Ç
Q
t
=
Æ
.
M
r.t
= (
Q
r
È
Q
t
,
S
,
R
r
È
R
t
f
r
f
t
...
M
r
:
s
r
...
M
t
:
s
t
f
r
f
t
s
r
,
È
{
f
r
®
s
t
},
e
{
f
t
})
22
/2
9
Popis konst
r
ukce: