Vega

TEORADE LA COMPUTACIN

UNIVERSIDAD PEDAGGICA NACIONAL FRANCISCO MORAZNIFE 115: INFORMTICA BSICA LICENCIADO: MARCI RODAS PTEG-I-3-VISITA 4-EXPO Teora de la Computacin.

Tabla deContenidosIntroduccin Una funcin no computable El problema de la detencin Funciones y su computabilidadTeora de funciones recursivasMquinas de TuringMquinas de TuringFundamentos de la mquina de TuringLenguaje de Bare BonesUna funcin no computable

123456

Teora de la ComputacinIntroduccin En esta presentacion vamos a considerar una serie de cuestiones relativas a lo que las computadoras pueden o no pueden hacer, veremos cmo hay mquinas simples, denominadas mquinas de Turing.

Funciones y su ComputabilidadEsto se refiere a investigar las capacidades de las computadoras, queremos entender lo que las mquinas pueden o no pueden hacer y qu caractersticas se requieren para que las mquinas puedan desarrollar todo su potencial.

Teora de funciones recursivasNada molesta ms 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 solucin algortmica.

Maquina de TuringHistoria de Alan TuringEs un intento de comprender las capacidades y limitaciones de las mquinas, muchos investigadores han propuesto y estudiado diversos dispositivos computacionales.Unamquina de Turinges un dispositivo que manipula smbolos sobre una tira de cinta de acuerdo a una tabla de reglas.A pesar de su simplicidad, una mquina de Turing puede ser adaptada para simular la lgica de cualquieralgoritmode computadory es particularmente til en la explicacin de las funciones de unaCPUdentro de un computador.

6

Fundamentos de la mquina de Turing

Una mquina de Turing est compuesta por una unidad de control que puede leer y escribir smbolos 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 smbolo de entre un conjunto finito de ellos. Este conjunto se denomina alfabeto de la mquina.

Lenguajes de programacin universalesLenguaje de Bare Bones

Bares Bones Consideraba las sentencias declarativas se pueden encontrar en otros lenguajes de programacin, estas sentencias permiten a los programadores darse el lujo de pensar en trminos de estructuras y de datos (Tales como matrices de valores numricos y cadenas de caracteres alfabticos) aunque su propia mquina se limita a manipular los patrones de bits sin tener algn conocimiento de que es lo que esos patrones representan.

Una funcin no Computable Una funcin que no es computable segn Turing y, por tanto, segn la tesis de Church. Turing, tampoco ser computable en sentido general. Por tanto, es una funcin cuyo clculo cae ms all de las capacidades de las computadoras

El problema de la detencin La funcin no computable de la que vamos a hablar est asociada con un problema conocido como problema de la detencin, 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.

Complejidad de los Problemas

Resolubilidad de los problemas, est interesada en la cuestin de si un problema resoluble tiene una solucin prctica. Algunos problemas que son tericamente resolubles son tan complejos que los podemos considerar como irresolubles desde el punto de vista prctico. En las ciencias de la computacin, los problemas que nos interesan son aquellos que son resolubles mediante mquinas. 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.

10

Si la depuracin es el proceso de eliminar errores, entonces la programacin debe ser el proceso de introducirlos.Edsger Dijkstra

Muchas Gracias por la Atencin !!