Algoritmus: Problém prázdnosti
• Vstup: KA  M = (Q, S, R, s, F);
• Výstup: ANO, pokud L(M) = Æ   NE, pokud L(M) ¹ Æ
• Metoda:
• if s je neukončující then napiš(’ANO’)
          else napiš(’NE’)
Problém prázdnosti je pro KA rozhodnutelný
Celkově:
22/26