Maquinas de Turing

Los conceptos de algoritmo y computador universal son definidos desde la lente de la informática teórica y en particular, a partir de las definiciones realizadas por Alan Mathison Turing, en su celebre articulo “On computable numbers, with an application to the Entscheidungsproblem” (Sobre números c...

Full description

Autores:
Sicard Ramírez, Andrés
Tipo de recurso:
Fecha de publicación:
1996
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/16428
Acceso en línea:
http://hdl.handle.net/10784/16428
Palabra clave:
Ingeniería de computación
Maquinas de turing
Rights
License
Copyright © 1996 Andrés Sicard Ramírez
Description
Summary:Los conceptos de algoritmo y computador universal son definidos desde la lente de la informática teórica y en particular, a partir de las definiciones realizadas por Alan Mathison Turing, en su celebre articulo “On computable numbers, with an application to the Entscheidungsproblem” (Sobre números computables, con una aplicación al problema de la decisión). Para ello, nos situamos en el contexto histórico adecuado, ilustramos los conceptos tanto desde sus definiciones formales como informales y finalmente, describimos la solución obtenida por Turing al problema de la decisión.