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