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