1 / 22

Teoria da Computação

UNIPÊ – Centro Universitário de João Pessoa Curso de Ciências da Computação. Teoria da Computação. EQUIVALÊNCIA DE PROGRAMAS E MÁQUINA Fabrício Dias fabriciounipe@ig.com.br. Agenda. Programas, máquinas e computações Equivalências de programas e máquinas Programas equivalentes

gareth-sheppard
Télécharger la présentation

Teoria da Computação

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. UNIPÊ – Centro Universitário de João PessoaCurso de Ciências da Computação Teoria da Computação EQUIVALÊNCIA DE PROGRAMAS E MÁQUINA Fabrício Dias fabriciounipe@ig.com.br

  2. Agenda • Programas, máquinas e computações • Equivalências de programas e máquinas • Programas equivalentes • Função parcial • Equivalência forte de programas • Equivalência de máquinas.

  3. Relembrando: Programas, máquinas e computações • Programa – é um conjunto de operações e testes compostos de acordo com uma estrutura de controle; • Tipos de Programas: • Monolítico • Iterativo • Recursivo

  4. Máquina • Uma máquina é capaz de interpretar os programas de acordo com os dados fornecidos • Deve possuir uma interpretação para cada operação ou teste que constitui o programa.

  5. Computação e função computada • Computação é um histórico do funcionamento da máquina para o programa, considerando um valor inicial • Função computada é uma função (parcial) induzida a partir da máquina e do programa dados.

  6. Equivalência de Programas e Máquinas

  7. Programas Equivalentes • Funções computadas permitem introduzir algumas importantes noções de equivalências de programas e máquinas • Programas equivalentes fortemente • Programas equivalentes • Máquinas equivalentes.

  8. Programas Equivalentes • Programas equivalentes fortemente • Quando as correspondentes funções computadas coincidem para qualquer máquina • Programas equivalentes • Quando as correspondentes funções computadas coincidem para uma dada máquina • Máquinas equivalentes • Quando as máquinas podem simular umas às outras

  9. Importância • A relação equivalência forte de programas é importante, porque ao agrupar diferentes programas em classes de equivalências de programas cujas funções coincidem, fornece subsídios para analisar propriedades de programas como complexidades.

  10. Programas recursivos Programas monolíticos Programas iterativos Diagrama • Um importante resultado é que programas recursivos são mais gerais que os monolíticos, os quais, por sua vez, são mais gerais que os iterativos.

  11. Função Parcial • Definição: É uma função que só está definida em parte do seu domínio. • Igualdade de funções parciais • Duas funções parciais f,g: X → Y são ditas iguais, ou seja, f = g, se e somente se, para cada x  X: • f(x) e g(x) são definidas e f(x) = g(x)

  12. Equivalência Forte de Programas • Definição: Sejam P e Q dois programas, não necessariamente do mesmo tipo: • Então o par (P,Q) está na Relação Equivalência Forte de Programas, P ≡ Q , se e somente se, para qualquer máquina M, as correspondentes funções parciais computadas são iguais, <P,M> = <Q,M>.

  13. Equivalência Forte de Programas • Para todo programa iterativo, existe uma programa monolítico fortemente equivalente; • Para todo programa monolítico, existe um programa recursivo fortemente equivalente; • Obs.: A inversa não é verdadeira necessariamente.

  14. Equivalência Forte de Programas • Teorema 1: Iterativo → Monolítico • Para qualquer programa iterativo Pi , existe um programa monolítico Pm, tal que Pi≡ Pm

  15. Equivalência Forte de Programas • Teorema 2: Monolítico → Recursivo • Para qualquer programa monolítico Pm , existe um programa recursivo Pr, tal que Pm ≡ Pr .

  16. Equivalência Forte de Programas • Corolário 1: Iterativo → Recursivo • Para qualquer programa iterativo Pi , existe um programa recursivo Pr, tal que Pi ≡ Pr

  17. Equivalência Forte de Programas • Teorema 3: • Dado um programa recursivo Pr qualquer, não necessariamente existe programa monolítico Pm, tal que Pr ≡ Pm.

  18. Equivalência Forte de Programas • Teorema 4: • Dado um programa monolítico Pm qualquer, não necessariamente existe programa iterativo Pi, tal que Pm ≡ Pi

  19. Equivalência Forte de Programas • É importante notar que as 3 classes de formalismos possuem o mesmo poder computacional, isto é: • para qualquer programa recursivo e para qualquer máquina, existe um programa monolítico e existe uma máquina tal que as correspondentes funções computadas coincidem.

  20. Equivalência Forte de Programas • existe um algoritmo para determinar se dois programas monolíticos (respectivamente, iterativos) são ou não equivalentes fortemente • até o momento, não é conhecido se existe ou não um algoritmo para mostrar equivalência forte de dois programas recursivos.

  21. Equivalência de Máquinas • Analogamente às equivalências de programas, pode-se estabelecer noções de equivalência de máquinas • Afirma-se que duas máquinas são equivalentes se uma pode simular a outra e vice-versa.

  22. Dúvidas????

More Related