UNIVERSIDADE FEDERAL DE ALAGOAS INSTITUTO DE COMPUTAO PRIMEIRA AVALIAO DE TEORIA DA COMPUTAO 2011.1 PROFA.

. ELIANA ENTREGA AT TERA-FEIRA AS 15 HORAS POR E-MAIL (ARQUIVO EM .PDF) eliana.almeida@gmail.com

1. (1.0) Escreva com suas palavras sobre o objeto de estudo da teoria da complexidade e o objeto de estudo da teoria da computabilidade.
2. (2.0)

Escreva sobre a diferena entre linguagens recursivas e linguagens recursivamente (quando identificamos uma linguagem

enumerveis

recursivamente enumervel?).
3. (2.0) Defina quais seriam os comandos e estruturas de controle de uma

linguagem de programao mnima que permita definir todos os problemas ditos computveis.
4. (2.0) Apresente um programa na linguagem definida no item anterior para

computar a funo RESTO que calcula o resto da diviso de um valor X por Y.

5. (3.0) Mostre que as funes abaixo pertencem a classe de funes recursivas,

apresentando-as somente em termos das funes iniciais e dos operadores funcionais.

a. F(x, y) = RESTO (X,Y)

b. F(x, y, z, w) = (x + z, 3, y, y) c. F(x, y, z) = 0