Listar Licenciatura en Matemáticas por autor "Díaz Suárez, Yerson Libardo"
Mostrando ítems 1-1 de 1
-
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.
Castellanos Camargo, Cristian Camilo; Díaz Suárez, Yerson Libardo (Universidad Pedagógica Nacional, 2015)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 ...