M
r*
:
•
Let
r
be
a
RE over
S
and
M
r
= (
Q
r
,
S
,
R
r
,
s
r
, {
f
r
})
be
an
FA
such that
L
(
M
r
) =
L
(
r
).
•
For the RE
r
*
, t
here exists a
n equivalent
FA
M
r*
Proof:
Let
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
RE
to FA: Iteration 4/5
24
/2
9
Construction: