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