Algorit
mus
:
Problém členství
•
Vstup:
BK
G
G
= (
N
,
T
,
P
,
S
)
v CNF,
w
Î
T
+
•
Výstup:
ANO
, pokud
w
Î
L
(
G
)
N
E
, pokud
w
Ï
L
(
G
)
•
Metoda I:
•
if
S
Þ
n
w
, kde 1
£
n
£
2
|
w
|
–
1,
then
napiš
(’
ANO
’)
else
napiš
(’
N
E
’)
•
Metoda II:
•
Viz. Obecná metoda SA založená na CNF
Problém členství je pro BKL rozhodnutelný
Celkově:
26
/31