M
r*
:
•
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
).
•
P
otom
pro
RV
r
*
existuje ekvivalentní
KA
M
r*
Důkaz:
Nechť
s
,
f
Ï
Q
r
.
M
r*
= (
Q
r
È
{
s
,
f
}
,
S
,
R
r
f
r
...
M
r
:
s
r
s
f
{
f
})
e
f
r
®
f
,
e
f
r
®
s
r
,
e
s
®
f
},
s
,
f
r
È
{
s
®
s
r
,
e
Převod z
RV
na
KA:
Iterace
4/5
24
/2
9
Popis konst
r
ukce: