Este documento presenta varios conceptos clave de la teoría de la computación. Explica que la teoría de la computación investiga las capacidades y limitaciones de las computadoras. También introduce la máquina de Turing como un modelo simple pero poderoso de computación, y discute el problema de la detención como un ejemplo de una función no computable. Además, aborda la complejidad de los problemas y la resolubilidad práctica versus teórica.

1. DE LA COMPUTACIÓN

2. UNIVERSIDAD PEDAGÓGICA
NACIONAL FRANCISCO MORAZÁN
IFE 115: INFORMÁTICA BÁSICA
LICENCIADO: MARCIÓ RODAS
PTEG-I-3-VISITA 4-EXPO Teoría de la Computación.

3. 1
2
3
4
5
6
Tabla de
Contenidos
Introducción
Una función no computable
El problema de la detención
Funciones y su computabilidad
Teoría de funciones recursivas
Máquinas de Turing
Máquinas de Turing
Fundamentos de la máquina de Turing
Lenguaje de Bare Bones
Una función no computable

4. Teoría de la Computación
Introducción
En esta presentacion vamos a considerar una
serie de cuestiones relativas a lo que las
computadoras pueden o no pueden hacer, veremos
cómo hay máquinas simples, denominadas máquinas
de Turing.

5. Funciones y su Computabilidad
Esto se refiere a investigar las capacidades de las computadoras, queremos
entender lo que las máquinas pueden o no pueden hacer y qué características se
requieren para que las máquinas puedan desarrollar todo su potencial.
Teoría de funciones recursivas
Nada molesta más a la naturaleza humana que el que nos digan que no
se puede hacer algo, Una vez que los investigadores comenzaron a
identificar los problemas que son irresolubles, en el sentido de que no
disponen de una solución algorítmica.

6. Maquina de Turing
Historia de Alan Turing
Es un intento de comprender las
capacidades y limitaciones de las máquinas,
muchos investigadores han propuesto y
estudiado diversos dispositivos
computacionales.
Una máquina de Turing es un dispositivo que manipula
símbolos sobre una tira de cinta de acuerdo a una tabla de
reglas.
A pesar de su simplicidad, una máquina de Turing puede ser
adaptada para simular la lógica de cualquier algoritmo de
computador
y es particularmente útil en la explicación de las funciones
de una CPU dentro de un computador.

7. Fundamentos de la máquina de Turing
Una máquina de Turing está compuesta por una
unidad de control que puede leer y escribir símbolos
en una cinta por medio de un cabezal de
lectura/escritura. La cinta se extiende
indefinidamente por ambos extremos y está dividida
en casillas, cada una de las cuales pueden contener un
símbolo de entre un conjunto finito de ellos. Este
conjunto se denomina alfabeto de la máquina.

8. Lenguajes de programación universales
Lenguaje de Bare Bones
Bares Bones Consideraba las sentencias declarativas se
pueden encontrar en otros lenguajes de programación,
estas sentencias permiten a los programadores darse el
lujo de pensar en términos de estructuras y de datos
(Tales como matrices de valores numéricos y cadenas de
caracteres alfabéticos) aunque su propia máquina se
limita a manipular los patrones de bits sin tener algún
conocimiento de que es lo que esos patrones
representan.

9. Una función no Computable
Una función que no es computable según Turing y, por tanto, según la tesis de Church.
Turing, tampoco será computable en sentido general. Por tanto, es una función cuyo
cálculo cae más allá de las capacidades de las computadoras
El problema de la detención
La función no computable de la que vamos a hablar está asociada con un
problema conocido como problema de la detención, que en un sentido informal
es el problema que trata de predecir de antemano si un programa terminará o se
detendrá si se inicia bajo ciertas condiciones.

10. Complejidad de los Problemas
Resolubilidad de los problemas, está interesada en la cuestión de si un
problema resoluble tiene una solución práctica. Algunos problemas que
son teóricamente resolubles son tan complejos que los podemos
considerar como irresolubles desde el punto de vista práctico.
En las ciencias de la computación, los problemas que nos interesan son
aquellos que son resolubles mediante máquinas. Las soluciones a estos
problemas se expresan en forma de algoritmos. Por lo tanto, su
complejidad de un problema estará determinada por las propiedades de
los algoritmos que permiten resolver dicho problema.

11. Si la depuración es el proceso de eliminar errores, entonces
la programación debe ser el proceso de introducirlos.
Edsger Dijkstra

12. Muchas Gracias por la
Atención !!