Algoritmus: Problém prázdnosti
• Vstup: BKG  G = (N, T, P, S);
• Výstup: ANO, pokud L(G) = Æ   NE, pokud L(G) ¹ Æ
• Metoda:
• if S je neukončující then napiš(’ANO’)
          else napiš(’NE’)
Problém prázdnosti je pro BKJ rozhodnutelný
Celkově:
29/31