Documente Academic
Documente Profesional
Documente Cultură
I. Maşini Turing
a) Să se construiască o maşină Turing cu o singură bandă care acceptă
cuvintele de forma an bk cp cu n, k, p ordonate strict crescător. Să se cal-
culeze complexitatea spaţiu şi complexitatea timp.
b) Să se construiască o maşină
√ Turing cu două benzi care calculează partea
ı̂ntreagă inferioară din x, unde x este un număr natural. Să se calculeze
complexitatea spaţiu şi complexitatea timp.
2x21 + 3xx1 2 x1 ≤ x2
f (x1 , x2 ) =
xx1 2 +5 − x2 x1 > x − 2
Este aceasta o funcţie primitiv recursivă? Justificaţi.
IV. N P −completitudine
Ştiind că problema
NSAT: Input: o 3 − CN F α
Pb: Există o asignare ce satisface α, dar nu satisface toţi literalii din
orice clauză a lui α?
este N P −completă, demonstraţi că problema
este N P −completă.