e-uzávěr(s)
e-uzávěr(p)
e-uzávěr(q)
e-uzávěr( f )
Definice: Pro každý stav p Î Q je definován e-uzávěr(p):
 e-uzávěr(p) = {q: q Î Q, p |–* q}
Příklad:
s
p
e
q
e
f
a
e-uzávěr
 Myšlenka: q je v „e-uzávěr(p)“, pokud KA může přejít do q z p bez přečtení vstupního symbolu.
7/44