1) Pesquisar Problema de Parada.

Dada uma mquina universal M qualquer e uma palavra w qualquer sobre o alfabeto de entrada, existe um algoritmo que verifique se M pra, aceitando ou rejeitando ao processar a entrada w? O Problema da Parada no-solucionvel. O Problema da Parada parcialmente solucionvel.

Programa

Mquina

Computao

Funo Computada

Programas Equivalentes

Mquinas Equivalentes

Funes Computveis

Mquinas Universais

2) Pesquisar Principio da Reduo de Problemas. Consiste basicamente na construo de um algoritmo de mapeamento entre as linguagens que traduzem os problemas. Mquina de Reduo: Suponha dois problemas, A e B e as correspondentes linguagens LA e LB. Uma Mquina de Reduo R de LA para LB sobre um alfabeto tal que, para w: Se wLA, ento R(w)LB.

Se wLA, ento R(w)LB Os seguintes resultados so vlidos: Se LB recursiva, ento LA recursiva Se LB enumervel recursivamente, ento LA enumervel recursivamente Se LA no recursiva, ento LB no recursiva. Se LA no enumervel recursivamente, ento LB no enumervel recursivamente.

3) Qual o 10 Problema de Hilbert? Investigar a existncia ou no de algoritmos que solucionem determinada classe de problemas, em particular, o estudo da solucionabilidade objetiva evitar a pesquisa por solues existentes. 4) Qual a rea de teoria da computao que baseia-se em problemas com respostas binarias? Computabilidade. 5) Qual o obtivo da rea da questo anterior? Investigar a existncia ou no de algoritmos que solucionem determinado classe de problemas. 6) Quais so as classes de solucionabilidade? Defina. - Problema Solucionavel: Se existe um algoritmo que soluciona o problema tal que sempre pare com uma resposta afirmativa. - Problemas no solucionaveis: Se no existe um algoritmo que solucione, com qualquer entrada. - Problema parcialemente solucionavel: Se existe um algoritmo que sempre pare quando afirmativa, mas no quando negativa(loop) - Problema completamente insolvel: Se no existe algoritmo que solucione tal problema. 7) Cite ao menos 3 relacionamentos entre as classes de solucionabilidade. - Existem problemas no solucionaveis parcialmente solucionavel. - Todo problema solucionavel parcialmente solucionavel. - A unio dos problemas solucionaveis com problemas no solucionaveis compreende o universo de todos problemas. 8) Defina Programas e Mquinas. - Programas: Um conjunto estruturado de instrues que capacitam uma mquina a aplicar sucessivamente certas operaes bsicas e testes sobre os dados iniciais fornecidos com o objetivo de transformar esses dados numa forma desejvel.

- Mquinas: As mquinas interpretam os programas suprindo todos os recursos necessrios para realizar a computao que eles representam. 9) O que tese de church e o que siginifica p/ teoria da computao. Turing props um modelo abstrato de computao, conhecido como Mquina de Turing, com o objetivo de explorar os limites da capacidade de expressar solues de problemas. Trata-se, portanto, de uma proposta de definio formal da noo intuitiva de algoritmo. Diversos outros trabalhos, como Mquina de Post (Post - 1936) e Funes Recursivas (Kleene - 1936), bem como a Mquina Norma e o Autmato com Pilhas, resultaram em conceitos equivalentes ao de Turing. O fato de todos esses trabalhos independentes gerarem o mesmo resultado em termos de capacidade de expressar computabilidade um forte reforo no que conhecido como Hiptese de Church ou Hiptese de Turing-Church: "A capacidade de computao representada pela Mquina de Turing o limite mximo que pode ser atingido por qualquer dispositivo de computao". Em outras palavras, a Hiptese de Church afirma que qualquer outra forma de expressar algoritmos ter, no mximo, a mesma capacidade computacional da Mquina de Turing. Como a noo de algoritmo ou funo computvel intuitiva, a Hiptese de Church no demonstrvel. Ela uma tese, no um teorema, porque no um resultado matemtico: ela simplesmente afirma que um certo conceito informal (algoritmo) corresponde a um certo objeto matemtico mquina de Turing). No sendo uma instruo matemtica, a hiptese de Church no pode ser provada. 10) Defina: Funo Computada, Funo No Computavl. - Funo Computada: a soluo para problema parcialmente solucionavel. - Funo No Computavl: a soluo para problema completamente insolvel. 11) O que uma funo recursiva? uma funo que invoca a si mesma ou invoca outra funo e na sequncia diversas subfunes. 12) O que estrutura de Invocao? So informaes guardadas na invocao de uma funo recursiva. 13) Quais informaes consistem em uma estrutura de invocao? Endereo de retorno, Estado dos registros ou flags, Variaveis passadas como argumentos para a funo e Variavel de retorno(e). 14) Existe diferena na chamada de uma funo Recursiva e uma norecursiva? Explique.

15) Quais as caractersticas bsicas das funes? Explique-as.

16) Defina: Linguagem Recursiva, Linguagem Recursivamente enumeravel. Linguagem Recursiva: dita recursiva quando existe uma mquina de Turing que sempre para com sim/aceita quando temos entradas positivas e com no/rejeita com entradas negativas. Linguagem Recursivamente Enumeravel: Quando computavel, ou seja, existe um algoritmo que reconhece essa linguagem mas no necessriamente para qualquer entrada. 17) Quando temos um problema solucionavel qual a linguagem utilizamos em uma mquina? Linuagem recursiva 18) O 10 Problema de Hilbert abrange qual classe de linguagem? Parcialmente solucionaveis. 19) Quando temos um algoritmo que interpretado por uma mquina de turing, dizemos que esse algoritmo : [recursivo]