Prévia do material em texto
Avaliação de 2ª Unidade (PLE 2020.4)
Curso: Ciência da Computação Disciplina: Teoria da Computação
Profa: Maria Sibaldo
Aluno: Data: 18/02/2021
Orientações para a avaliação:
Obs.: LEMBREM-SE QUE A PROVA É SEM CONSULTA, E CASO ALGUÉM DESRESPEITE ALGUMA
RESTRIÇÃO TERÁ A NOTA AUTOMATICAMENTE COMO ZERO (0).
1) (2,5 pontos) Considere a seguinte gramática:
G = ({S, X, Y, A}, {a, b}, P, S), onde:
P = {S -> XY,
X -> AXA | , Y -> YA | ,
A -> a | b}
Coloque esta gramática na Forma Normal de Greibach,
apresentando cada etapa deste processo.
2) (2,0 pontos) Desenvolva um autômato com pilha que aceite a
seguinte linguagem:
a) {0n1k | n k 2n}, alfabeto {a, b}
3) (2,5 pontos) Apresente uma Máquina de Turing M que multiplica
um número por 2. Alfabeto = {1}, o valor das entradas e saídas
está representada pela quantidade de 1's.
Exemplos: Entrada (11), saída (1111); entrada (111), saída
(111111).
4) (1,0 ponto) O que diz a tese de Church-Turing?
5) (2,0 pontos)Se fosse descoberto um algoritmo polinomial para
um problema considerado indecidível, que consequência haveria
e por quê?