1 resultados
Resultados de la búsqueda
Mostrando 1 - 1 de 1
Ítem Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.(Universidad Pedagógica Nacional, 2015) Castellanos Camargo, Cristian Camilo; Díaz Suárez, Yerson Libardo; Páez Ortegón, Jorge EdgarTrabajo 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.