Máquinas universais: demonstração, análise e equivalência
| Título | Máquinas universais: demonstração, análise e equivalência | pt_BR |
| Autor | Vieira, Leandro Justin | |
| Orientador | Coral, Sérgio | |
| Resumo / Abstract | A ciência da computação é fundamentada em modelos computacionais construídos na primeira metade do século XX, em 1936 foi publicado a Máquina de Turing modelo conhecido e aceito como a formalização de um algoritmo, esse que pertence à uma classe chamada de máquinas universais, detentora do maior poder computacional até hoje. A teoria da computação tem um papel importante na construção do conhecimento e proporciona desenvolvimento do raciocínio logico e formal, sendo que esse é cada vez mais necessário para a computação. É apresentado quatro modelos de máquinas universais (Máquina de Turing, Máquina de Post, Autômato de duas pilhas e Máquina de Norma), esses que são contextualizados e a partir disso desenvolvido simuladores para cada, além de demostrar também como um modelo pode ser simulado por outra máquina universal, afim de comprovar a Tese de Church. Ao final da pesquisa, foi desenvolvido um protótipo web responsável pelos simuladores e que efetua a conversão de Máquina de Post para Máquina de Turing e Autômato de Duas Pilhas para Máquina de Turing. | pt_BR |
| Data de publicação | 2018-07 | |
| Tipo | Trabalho de Conclusão de Curso - TCC | pt_BR |
| Idioma | pt_BR | pt_BR |
| Palavras-chave | Tese de Chruch | pt_BR |
| Palavras-chave | Teoria da computação | pt_BR |
| Palavras-chave | Máquinas universais | pt_BR |
| Palavras-chave | Máquina de Turing | pt_BR |
| Descrição | Trabalho de Conclusão de Curso, apresentado para obtenção do grau de Bacharel no Curso de Ciência da Computação da Universidade do Extremo Sul Catarinense, UNESC. | pt_BR |
| Data de depósito | 2021-05-04T21:48:58Z | |
| Data de disponibilização | 2021-05-04T21:48:58Z | |
| URI | http://repositorio.unesc.net/handle/1/8133 | |
| Cobertura espacial | Universidade do Extremo Sul Catarinense | pt_BR |
| Data de criação | 2018-07 |