e-closure(s)
e-closure(p)
e-closure(q)
e-closure( f )
Definition: For every states p Î Q, we define a set e-closure(p) as e-closure(p) = {q: q Î Q, p |–* q}
Example:
s
p
e
q
e
f
a
e-closure
 Gist: q is in e-closure(p) if FA can reach q
 from p without reading.
7/44