UNIVERSIDADE FEDERAL DE PELOTAS Teoria da Computao Lista de Exerccios 6 Profa Simone Andr da Costa

1. Desenvolva uma Mquina de Turing que aceite a linguagem L = {2n32n | n 1}. Palavras pertencentes linguagem: 233, 223333, 222333333 etc. 2. Descreva a linguagem aceita pela mquina de Turing definida a seguir. Considere qf como estado final. (a,a,D)
(b,b,D) (A,A,D) (B,B,D) (B,B,E) (A,A,E) (,,E) (a,A,E) (,,D) (A,A,D) (B,B,D) (b,B,D) (b,B,E) (,,E) (a,a,E) (b,b,E)

(,,D) (a,A,D)

(A,A,D) (B,B,D)

(a,a,D) (b,b,D) (A,A,D) (B,B,D)

(,,D)

(B,B,E) (A,A,E)

3. Desenvolva uma mquina de Turing que compute a seguinte funo parcial: " n 2 + 1, se n 2 > 0 f ( n1, n 2 ) = # $0, se n 2 = 0 Considere uma cadeia de comprimento n + 1 com todos os algarismos iguais a 1 como a representao unria do inteiro no-negativo n (o 1 extra nesta codificao nos permite distinguir o 0 de uma fita em branco). Segue alguns exemplos de representaes: 0 |- 1 1 |- 11 2 |- 111 3 |- 1111 (...) Denotando esta codificao de n por n , considere uma fita contendo a cadeia n1 * n2 como a representao da dupla (n1, n2). 4. Descreva a diferena entre a classe de Linguagens Recursivas (ou TuringDecidveis) e classe de Linguagens Enumerveis Recursivamente (ou TuringReconhecveis).

5. Dada uma palavra w sobre o alfabeto {a, b}, considera-se o inverso da palavra w, denotado por wi uma palavra de mesmo tamanho de w que tem todas as ocorrncias de smbolos a substitudas por b e todas ocorrncias de smbolos b substitudas por a. So dados alguns exemplos a seguir: w = aba wi = bab w = bbaaa wi = aabbb w= wi = Defina uma mquina de Post ({a,b,$}, D, #) que aceite a linguagem {w$wi| w uma palavra formada sobre o alfabeto {a, b}}.