Páez Ortegón, Jorge EdgarCastellanos Camargo, Cristian CamiloDíaz Suárez, Yerson Libardo2016-09-062017-12-122016-09-062017-12-122015TE-17797http://hdl.handle.net/20.500.12209/2221Trabajo 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.PDFapplication/pdfspahttps://creativecommons.org/licenses/by-nc-nd/4.0/Lenguaje y problema de la paradaProblema indecidibleAutomataMaquina de TuringEntscheidungsprobleminfo:eu-repo/semantics/bachelorThesisAcceso abiertoinfo:eu-repo/semantics/openAccessinstname:Universidad Pedagógica Nacionalinstname:Universidad Pedagógica Nacionalreponame: Repositorio Institucional UPNrepourl: http://repositorio.pedagogica.edu.co/Lógica matemáticaComputadores - HistoriaAlgoritmos - Calculo matemáticoAttribution-NonCommercial-NoDerivatives 4.0 International