FAI (model examen restanta/marire iunie 2011 semianul A+B, mai mult B)

1. a. Definiti O(g), (g) si o(g), unde g: N R+. b. Discutati relatiile dintre O(g), (g) si o(g). c. Care din relatiile log n (O(n)) si log n (n) este adevarata? Justificati raspunsul. d. Aratati ca pentru oricare f: N R+ are loc f(n) (2[log2f(n)]). e. Definim functia log*n prin: log(0)n=n log(k)n=log(log(k-1) n), pentru oricare k 1 log*n=min{i|log(i)n 1} - demonstrati ca n o(n log*n) si n / log*(n) o(n). 2. a. Fie A alfabet si C este inclusa in A+. Definiti multimile Ci, i 1, asociate multimii C. b. Aratati ca daca C este inclusa in A+, C nevida, atunci pentru oricare i 1 si x Ci are loc C*x C* = . c. Aratati ca in cazul multimilor finite, teorema Sardinas-Patterson conduce la un algoritm de verificare a proprietatii de cod (algoritmul se opreste pe orice intrare dupa un numar finit de pasi). d. A, C incluse in A+, multimi finite. Definim ci(C, A) = w C 1 / |A||w| - are loc ci(Cn, A) = ci(C, A)n, pentru oricare i 1? Justificati raspunsul. 3. Fie S programul while: y:=1 ; while ~(x=0) do (y:=y*2 ; x:=x-1) - determinati semantica denotationala a lui S sub interpretarea uzuala pe . # Punctaje: 1. a. 10p 2. a. 10p 3. 25p b. 10p b. 10p c. 5p c. 10p d. 10p d. 5p e. 5p