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 defin...

Full description

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

Rights

License

https://creativecommons.org/licenses/by-nc-nd/4.0/