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