a
{f}
a
b
for Q’ = {q1, f }:
{s}
a
b
c
b
b
b
{q1, f }
{q2, f }
b
q1
f
...
...
f
...
...
a
Fd := Æ È {{q1, f }}
b
for Q’ = {q2, f }:
c
q2
f
...
...
c
f
...
...
a
{f}
a
{s}
a
b
c
{q1, f }
{q2, f }
Rd := Rd È {{q1, f }a ®{f}, {q1, f }b ®{q1, f }}
Qnew = {{q2, f }, {f }}, Qd = Qd  È {{q1, f }},  
a
a
c
c
c
Fd := Fd È {{q2, f }}
Rd := Rd È {{q2, f }a ®{f}, {q2, f }c ®{q2, f }}
Qnew = {{f }}, Qd = Qd  È {{q2, f }},  
e-free FA to DFA: Example 2/3
26/44