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