•
Input:
FA
M
= (
Q
,
S
,
R
,
s
,
F
)
•
Output:
e
-free
FA
M
’
= (
Q
,
S
,
R
’
,
s
,
F
’
)
•
Method:
•
R
’ :=
Æ
;
•
for all
p
Î
Q
do
R
’ :=
R
’
È
{
pa
®
q
:
p
’
a
®
q
Î
R
,
a
Î
S
,
p
’
Î
e
-closure(
p
),
q
Î
Q
}
;
•
F
’ := {
p
:
p
Î
Q
,
e
-closure(
p
)
Ç
F
¹
Æ
}
.
Algorithm: FA to
e
-free FA
Gist: Skip all
e
-
moves
p
p
’
q
a
e
...
...
...
e
e
e
e
e
e
-closure(
p
)
a
1
0
/44