A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

O Problema da Correspondência de Post Flávio de Oliveira Alves Teoria da Computação 2003/1.

Apresentações semelhantes


Apresentação em tema: "O Problema da Correspondência de Post Flávio de Oliveira Alves Teoria da Computação 2003/1."— Transcrição da apresentação:

1 O Problema da Correspondência de Post Flávio de Oliveira Alves Teoria da Computação 2003/1

2 Introdução O Problema da Correspondência de Post

3 Introdução (cont.) O Problema da Correspondência de Post

4 No caso geral, o Problema da Correspondência de Post (PCP) não é decidível; O PCP é um dos mais importantes problemas não-decidíveis, uma vez que é útil para a prova de outros resultados indecidíveis; Restringindo o PCP, podemos investigar a fronteira entre a decidibilidade e a indecidibilidade. Por exemplo, se assumimos que o tamanho n de uma instância é dois (o alfabeto é binário: ={a,b}), o PCP é decidível. Assim como para n = 1; Para n >= 7, o PCP é indecidível; Para 3 <= n <= 6 o PCP poderá ser tanto decidível quanto indecidível - isto é, entre três e seis encontra-se a fronteira entre a decidibilidade e a indecidibilidade. Importância O Problema da Correspondência de Post

5 O comprimento da menor solução para esta instância é igual a 7. Solução Exemplo O Problema da Correspondência de Post Instância do Problema da Correspondência de Post Tamanho (quantidade de pares) = 3 Largura (da maior string) = 3 Alfabeto = {0, 1}

6 HALAVA, Vesa. HARJU, Tero. Some New Results on Post Correspondence Problem and Its Modifications. TUCS Technical Report No Turku Centre for Computer Science - University of Turku. January, Turku, Finland. SUDKAMP, Thomas A.. Languages and machines : an introduction to the theory of computer science ed. - Reading : Addison-Wesley, p. : il. ZHAO, Ling. Creating Difficult Instances of the Post Correspondence Problem (by Richard J. Lorentz). Presentation by Ling Zhao. Department of Computing Science - University of Alberta. March, [Última visita em 04.jun.2003]. O Problema da Correspondência de Post Referências Bibliográficas


Carregar ppt "O Problema da Correspondência de Post Flávio de Oliveira Alves Teoria da Computação 2003/1."

Apresentações semelhantes


Anúncios Google