Algorit
mus
: Probl
ém členství
•
Vstup:
DKA
M
= (
Q
,
S
,
R
,
s
,
F
)
;
w
Î
S
*
•
Výstup:
ANO
, pokud
w
Î
L
(
M
)
N
E
,
pokud
w
Ï
L
(
M
)
•
Metoda:
•
if
sw
|
–
*
f
,
f
Î
F
then
napiš
(’
ANO
’)
else
napiš
(’
N
E
’)
Problém členství je pro KA rozhodnutelný
Celkově:
21/26