Algoritmus: Problém konečnosti
• Vstup: BKG  G = (N, T, P, S);
• Výstup: ANO, pokud L(G) je konečný       NE, pokud L(G) je nekonečný
• Metoda:
• Nechť k = 2card(N) 
• if existuje z Î L(M), k £ |z| < 2k then napiš(’NE’)
       else napiš(’ANO’)
Problém konečnosti je pro BKJ rozhodnutelný
Celkově:
30/31