• 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
10/44