Exerc cio Teoria da Computa c ao

1. (1,1 pontos) Escreva uma m aquina de Turing determin stica para decidir a linguagem {0n 12n : n 0}, isto e, voc e deve aceitar palavras que come cam com uma sequ encia de zeros, seguida pelo dobro de uns. Exemplo de palavra aceita: 001111. N ao se esque ca de vericar o caso em que n = 0 (palavra vazia). Voc e deve utilizar apenas uma ta, e pode utilizar registradores ou m ultiplas trilhas, se desejar. Voc e pode supor que a entrada e precedida na ta por um s mbolo . Inclua um pequeno par agrafo explicando a ideia que voc e utilizou. 2. (1 ponto) Escreva as seguintes fun c oes como fun c oes recursivas primitivas. Voc e pode utilizar, al em dos operadores b asicos sucessor (suc), zerok , identidade (idi,j ) e das opera c oes de composi c ao e recurs ao, os operadores constru dos em sala: soma, multiplica c ao (mult), potencia c ao (pot), predecessor (pred), subtra c ao n ao-negativa (sub), divis ao inteira (div), resto da divis ao inteira (mod), iszero, isone, positive, maior ou igual (geq), menor ou igual (leq), igual (eq), and, or, not, if. (a) f (n, m) = n 2m + 3nm (b) fat(m) = 1, se m = 0 (fatorial) m fat(m 1), se m > 0