Una introducción a la Teoría de la Computabilidad desde una perspectiva de programación lógica

Impacto

Downloads

Downloads per month over past year



Rodríguez Núñez, Clara (2019) Una introducción a la Teoría de la Computabilidad desde una perspectiva de programación lógica. [Trabajo Fin de Grado]

[thumbnail of 1138497967-324514_Clara_Rodríguez_Núñez_Una_Introducción_a_la_Teoría_de_la_Computabilidad_desde_una_perspectiva_de_Programación_Lógica_3940149_1822572151.pdf]
Preview
PDF
Creative Commons Attribution Non-commercial.

1MB


Abstract

El objetivo de este trabajo fue desarrollar un modelo de computabilidad basado en programación lógica pura. Se desarroló un modelo Turing-completo basado en este tipo de programación que nos permitió demostrar algunos resultados clásicos de la Teoría de la Computabilidad.
Para ello se establecieron las distintas semánticas de los programas lógicos que se han tomado a lo largo de este trabajo. Se definió el concepto de función computable bajo esta nueva perspectiva y se demostró que se trata de un modelo de cómputo Turing-completo. Una vez probado esto, se desarrollaron resultados clásicos de la Teoría de la Computabilidad bajo esta nueva perspectiva. De este modo, se demostró la existencia de programa lógico universal desarrollando dicho programa y probando formalmente su corrección. Gracias a él fuimos capaces de demostrar la existencia de conjuntos no recursivos y no recursivamente enumerables en el ámbito de la programación lógica, que fue uno de los resultados clave de este trabajo. También se desarrollaron mediante técnicas de reducción numerosos ejemplos de conjuntos no recursivos. Finalmente, se demostraron algunos teoremas fundamentales de la Teoría clásica de la Computabilidad como son el Teorema de Rice, el Teorema s-m-n, el Teorema de Recursión y el Teorema del Punto Fijo. Se adaptó el enunciado de estos teoremas al modelo de computabilidad basado en programación lógica y se probaron bajo esta nueva perspectiva.

Resumen (otros idiomas)

The goal of this project was to develop a computation model based on logic programming. We developed a Turing complete model based on this type of programs that allowed us to prove some of the classic results of Computability Theory. We established some different semantics for the logic programming and defined the concept of computable function under this new perspective. According to that definitions, we proved that this model of computation is Turing-complete. Once that had been proved, some important results of the Computability Theory were developed. In that way, the existence of a universal program for logic programming was proved by developing a universal program and formally proving its correctness. Because of it, we were able to prove the existence of non-recurssive and non-recursively enumerable sets under the logic programming paradigm, which was one of the most important results of this project. We used reductions in order to find more examples of non-recursive sets. Finally, we proved some important theorems of the Theory of Computability such as the Rice Theorem, the s-m-n Theorem, the Recursion Theorem and the Fixed Point Theorem. We adapted the statement of these theorems to our model of computation based on logic programming and proved them under this perspective

Item Type:Trabajo Fin de Grado
Additional Information:

Trabajo de Fin de Grado, Universidad Complutense, Facultad de Informática, Departamento de Sistemas Informáticos y Computación. Curso 2018/2019

Directors:
Directors
López Fraguas, Francisco Javier
Uncontrolled Keywords:Computabilidad, Programación lógica, Turing-completitud, Programa Universal, Conjunto recursivo, Teorema de Rice, Teorema s-m-n, Teorema de recursión, Teorema del Punto Fijo
Palabras clave (otros idiomas):Computability, Logic Programming, Turing complete, Universal Program, Recursive set, Rice Theorem, S-m-n Theorem, Recursion Theorem, Fixed Point Theorem
Subjects:Sciences > Computer science
Título de Grado:Doble grado en Ingeniería Informática y Matemáticas
ID Code:56537
Deposited On:25 Jul 2019 11:57
Last Modified:09 Mar 2020 12:33

Origin of downloads

Repository Staff Only: item control page