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