Anda di halaman 1dari 3

Analiza Algoritmilor

Tema 1 - Masina Turing si Probleme de Decizie

Termen de predare: 12 Noiembrie 2014

Masina Turing

Creati diagrama de stari si definiti matricile de tranzitie ale urmatoarelor


Masini Turing:1
a. 20p Masina Turing ce citeste de pe banda reprezentarea unei matrici ( 4
linii si 4 coloane ) in forma liniarizata si seteaza pe indexul 0 al benzii
valoarea elementului aflat pe linia 3, coloana 4. Exemplu:

1 1 0 0
1 0 1 0

M =
0 1 1 1
0 0 1 0
Banda:
>

Output:
1

b. 20p Masina Turing ce primeste ca input doua cuvinte binare si seteaza pe


indexul 0 al benzii valoarea 1 daca un cuvant reprezinta anagrama
celuilalt, 0 altfel.
Exemplu:
Input:
>

Output:
1

c. Bonus 10p Masina Turing ce primeste un cuvant binar si calculeaza numarul de


aparitii ale cifrei 0.

Rezolvarea consta in crearea diagramei de stari si a tranzitiilor corespunzatoare, cat


si atasarea codului folosit pentru testarea acestora (in varianta printata)

Decidabilitate

Fie urmatoarele probleme:


a. 20p Se da o masina Turing M. Exista un cuvant w astfel incat M (w) = w?
b. 20p Se dau doua Masini Turing M1 si M2 . Exista w astfel incat M2 (M1 (w))
se termina ?
Cerinte:
(i) Reprezentati problemele a. si b. ca functii din Hom(N, {0, 1})
(ii) Demonstrati ca problemele a. si b. nu apartin clasei R.
(iii) Demonstrati ca problemele a. si b. apartin clasei RE.
c. 20p Fie f1 si f2 probleme din Hom(N, {0, 1}) definite astfel:

1 daca M (enc(M )) = 1
enc(M )
f1 (n
)=
0 altfel
f2 (n

enc(M )


)=

1
0

daca M (enc(M )) = 0
altfel

si fr o problema astfel incat f2 (w) = 1 = fr (w) = 1 si f1 (w) 6=


fr (w) pentru orice w .
Aratati ca fr nu e recursiva.

Anda mungkin juga menyukai