•
Vstup:
Úplný KA:
M
= (
Q
,
S
,
R
,
s
,
F
)
•
Výstup:
Úplný KA
:
M
’
= (
Q
,
S
,
R
,
s
,
F
’
)
,
•
Metoda:
•
F
’ :=
Q
–
F
Algorit
mus: K
A
pro doplněk
L
(
M
’
) =
L
(
M
)
Příklad:
a
a
,
b
q
s
f
b
b
a
Q
–
F
F
M
:
F
’
=
Q
–
F
L
(
M
)
=
{
x
:
a
b
je
podřetězec
x
};
L
(
M
’
)
=
{
x
:
a
b
není
podřetězec
x
}
a
a
,
b
f
b
b
a
M
’
:
s
q
15/26