Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.

Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se definen y clasifican los autómatas finitos para entender el funcionamiento, definición, caracterización y simulación de las Máquinas de Turing, con el fin de reconocer los lenguajes recursivamente enumerables que son recursivos, los cuales son equivalentes a una definición de decibilidad y serán de gran importancia para la aproximación a la demostración del Entscheidungsproblem.

• Autores: Castellanos Camargo, Cristian Camilo; Díaz Suárez, Yerson Libardo
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2015
• Institución: Universidad Pedagógica Nacional
• Repositorio: Repositorio Institucional UPN
• Idioma: spa
• OAI Identifier: oai:repository.pedagogica.edu.co:20.500.12209/2221
• Acceso en línea: http://hdl.handle.net/20.500.12209/2221
• Palabra clave: Lenguaje y problema de la parada; Problema indecidible; Automata; Algoritmo; Maquina de Turing; Entscheidungsproblem
• License: https://creativecommons.org/licenses/by-nc-nd/4.0/