Máquinas de Turing não determinísticas com combinadora para a computação de funções

Detalhes bibliográficos
Autor(a) principal: Colombo, João Guilherme Fritsche
Data de Publicação: 2019
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/202502
Resumo: TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
id UFSC_ee89b206968e34876038125e08a70071
oai_identifier_str oai:repositorio.ufsc.br:123456789/202502
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaColombo, João Guilherme FritscheMarchi, Jerusa2019-12-08T12:54:16Z2019-12-08T12:54:16Z2019-03-22https://repositorio.ufsc.br/handle/123456789/202502TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.Este trabalho aponta que as definições existentes de funções computadas por máquinas de Turing não determinísticas não permitem adaptar diretamente todos os problemas de decisão para funções e não justificam a obtenção, quando é, em tempo polinomial de suas saídas. Por esse motivo, propõe uma variação, baseada na associação de uma árvore de computação à estratégia de divisão e conquista, denominada máquina de Turing não determinística com combinadora, capaz dessa adaptação e com uma definição de tempo bem justificada. Além disso, exemplifica a variação proposta com máquinas que computam as funções das classes #P e OptP, as funções características dos complementos das linguagens decididas por máquinas de Turing não determinísticas e uma função que resolve o Problema de Deutsch-Jozsa.74Florianópolis, SC.Teoria da Computaçãomáquinas de Turing não determinísticasfunções computáveisMáquinas de Turing não determinísticas com combinadora para a computação de funçõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCLICENSElicense.txtlicense.txttext/plain; charset=utf-81383https://repositorio.ufsc.br/bitstream/123456789/202502/6/license.txt11ee89cd31d893362820eab7c4d46734MD56ORIGINALmtnc.pdfmtnc.pdfTrabalho de Conclusão de Cursoapplication/pdf417176https://repositorio.ufsc.br/bitstream/123456789/202502/5/mtnc.pdfc6a299e7a65b7218764c42483a8f8a30MD55123456789/2025022019-12-08 09:54:16.928oai:repositorio.ufsc.br:123456789/202502Vm9jw6ogdGVtIGEgbGliZXJkYWRlIGRlOiBDb21wYXJ0aWxoYXIg4oCUIGNvcGlhciwgZGlzdHJpYnVpciBlIHRyYW5zbWl0aXIgYSBvYnJhLiBSZW1peGFyIOKAlCBjcmlhciBvYnJhcyBkZXJpdmFkYXMuClNvYiBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6IEF0cmlidWnDp8OjbyDigJQgVm9jw6ogZGV2ZSBjcmVkaXRhciBhIG9icmEgZGEgZm9ybWEgZXNwZWNpZmljYWRhIHBlbG8gYXV0b3Igb3UgbGljZW5jaWFudGUgKG1hcyBuw6NvIGRlIG1hbmVpcmEgcXVlIHN1Z2lyYSBxdWUgZXN0ZXMgY29uY2VkZW0gcXVhbHF1ZXIgYXZhbCBhIHZvY8OqIG91IGFvIHNldSB1c28gZGEgb2JyYSkuIFVzbyBuw6NvLWNvbWVyY2lhbCDigJQgVm9jw6ogbsOjbyBwb2RlIHVzYXIgZXN0YSBvYnJhIHBhcmEgZmlucyBjb21lcmNpYWlzLgpGaWNhbmRvIGNsYXJvIHF1ZTogUmVuw7puY2lhIOKAlCBRdWFscXVlciBkYXMgY29uZGnDp8O1ZXMgYWNpbWEgcG9kZSBzZXIgcmVudW5jaWFkYSBzZSB2b2PDqiBvYnRpdmVyIHBlcm1pc3PDo28gZG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMuIERvbcOtbmlvIFDDumJsaWNvIOKAlCBPbmRlIGEgb2JyYSBvdSBxdWFscXVlciBkZSBzZXVzIGVsZW1lbnRvcyBlc3RpdmVyIGVtIGRvbcOtbmlvIHDDumJsaWNvIHNvYiBvIGRpcmVpdG8gYXBsaWPDoXZlbCwgZXN0YSBjb25kacOnw6NvIG7Do28gw6ksIGRlIG1hbmVpcmEgYWxndW1hLCBhZmV0YWRhIHBlbGEgbGljZW7Dp2EuIE91dHJvcyBEaXJlaXRvcyDigJQgT3Mgc2VndWludGVzIGRpcmVpdG9zIG7Do28gc8OjbywgZGUgbWFuZWlyYSBhbGd1bWEsIGFmZXRhZG9zIHBlbGEgbGljZW7Dp2E6IExpbWl0YcOnw7VlcyBlIGV4Y2XDp8O1ZXMgYW9zIGRpcmVpdG9zIGF1dG9yYWlzIG91IHF1YWlzcXVlciB1c29zIGxpdnJlcyBhcGxpY8OhdmVpczsgT3MgZGlyZWl0b3MgbW9yYWlzIGRvIGF1dG9yOyBEaXJlaXRvcyBxdWUgb3V0cmFzIHBlc3NvYXMgcG9kZW0gdGVyIHNvYnJlIGEgb2JyYSBvdSBzb2JyZSBhIHV0aWxpemHDp8OjbyBkYSBvYnJhLCB0YWlzIGNvbW8gZGlyZWl0b3MgZGUgaW1hZ2VtIG91IHByaXZhY2lkYWRlLiBBdmlzbyDigJQgUGFyYSBxdWFscXVlciByZXV0aWxpemHDp8OjbyBvdSBkaXN0cmlidWnDp8Ojbywgdm9jw6ogZGV2ZSBkZWl4YXIgY2xhcm8gYSB0ZXJjZWlyb3Mgb3MgdGVybW9zIGRhIGxpY2Vuw6dhIGEgcXVlIHNlIGVuY29udHJhIHN1Ym1ldGlkYSBlc3RhIG9icmEuIEEgbWVsaG9yIG1hbmVpcmEgZGUgZmF6ZXIgaXNzbyDDqSBjb20gdW0gbGluayBwYXJhIGVzdGEgcMOhZ2luYS4KTGljZW7Dp2EgQ3JlYXRpdmUgQ29tbW9ucyAtIGh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzMuMC9ici8KRepositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732019-12-08T12:54:16Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Máquinas de Turing não determinísticas com combinadora para a computação de funções
title Máquinas de Turing não determinísticas com combinadora para a computação de funções
spellingShingle Máquinas de Turing não determinísticas com combinadora para a computação de funções
Colombo, João Guilherme Fritsche
Teoria da Computação
máquinas de Turing não determinísticas
funções computáveis
title_short Máquinas de Turing não determinísticas com combinadora para a computação de funções
title_full Máquinas de Turing não determinísticas com combinadora para a computação de funções
title_fullStr Máquinas de Turing não determinísticas com combinadora para a computação de funções
title_full_unstemmed Máquinas de Turing não determinísticas com combinadora para a computação de funções
title_sort Máquinas de Turing não determinísticas com combinadora para a computação de funções
author Colombo, João Guilherme Fritsche
author_facet Colombo, João Guilherme Fritsche
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Colombo, João Guilherme Fritsche
dc.contributor.advisor1.fl_str_mv Marchi, Jerusa
contributor_str_mv Marchi, Jerusa
dc.subject.por.fl_str_mv Teoria da Computação
máquinas de Turing não determinísticas
funções computáveis
topic Teoria da Computação
máquinas de Turing não determinísticas
funções computáveis
description TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
publishDate 2019
dc.date.accessioned.fl_str_mv 2019-12-08T12:54:16Z
dc.date.available.fl_str_mv 2019-12-08T12:54:16Z
dc.date.issued.fl_str_mv 2019-03-22
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/202502
url https://repositorio.ufsc.br/handle/123456789/202502
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 74
dc.publisher.none.fl_str_mv Florianópolis, SC.
publisher.none.fl_str_mv Florianópolis, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/202502/6/license.txt
https://repositorio.ufsc.br/bitstream/123456789/202502/5/mtnc.pdf
bitstream.checksum.fl_str_mv 11ee89cd31d893362820eab7c4d46734
c6a299e7a65b7218764c42483a8f8a30
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805279883657216

Registros relacionados