INSTITUTO TECNOLÓGICO SUPERI OR DE SAN MARTÍN TEXMELUCAN Organismo Público Descentralizado del Gobierno del Estad o “2011, Año

del Turismo en México”

ENSAYOS unidad 5 y 6 NOMBRE SAUL MORALES RODRIGUEZ CARRERA I-S-C MATERIA TEORIA DE LA COMPUTACION No._Control_09960026

Unidad 5 ensayo Aquí en la teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita, un pro blema de decisión también se puede formalizar como el problema de decidir si una cie rta frase pertenece a un conjunto dado de frases, también llamado lenguaje formal. El conjunto contiene exactamente las frases para las cuales la respuesta a la p regunta es positiva, en esto se da un algoritmo que pueda decidir para cada pos ible frase de entrada si esa frase pertenece al lenguaje, entonces se dice que e l problema es decidible, en otra forma es un problema indicidible. Un lenguaje decidible es aquel lenguaje L y puede aceptarla en una maquina de tu ring en este caso se dice que la máquina de Turing semidecide al lenguaje, los sem idecididos por una MT se llaman recursivos numerables en terminos de procedimien tos, las cadenas de un lenguaje decidible corresponden a procedimientos que term inan, ya sea realizando lo que indica la palabra ó señalando que no tienen la capaci dad de realizarlo. Para un lenguaje semidecidible, las cadenas decididas por la MT son instrucciones realizadas por la MT (maquina de turing) La idea central de Turing es que allí donde exista un procedimiento de decisión habrá una máquina de Turing que pueda realizarlo, los problemas de decisión son interesant es dado que todos los problemas matemáticos pueden ser redactados para que tomen l a forma de un problema de decisión.

El problema de Halting El primer problema indecidible mediante maquinas de Turing. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no co mo definió las bases de las computadoras modernas y planteo un problema sobre ella s, llegando a la conclusión de que no hay ningún algoritmo que lo resuelva, es el pr oblema de la detención, representa a una función computable, y solamente proporciona rá un resultado cuando la máquina se detenga. es decir, si nos dará un resultado final. La demostración de este hecho se basó en el carácter formal de los sistemas simbólicos empleados, y su inconsistencia reflejada

o equivalentemente a un a función arbitraria f de los naturales a los naturales. que no puede resolverse en lo absoluto. o incluso. componiendo el algoritmo solución con el algoritmo de transfor mación obtendríamos una solución para el problema efectivamente irresoluble. fg y fog son funciones comput ables.en proposiciones indecidibles así como todas las paradojas derivadas de situacione s de autorreferencial en sistemas formales. sistema de Post. el hecho que gracias a la equivalenc ias de maquinas de Turing y computadoras. se haya determinado que existen cálculos que no pueden ser detenidos en un tiempo razonable en ninguna computadora imagi nable. las funciones computables son usadas para discutir comp . entonces este nuevo problema tampoco tendrá solución efectiva. Tales funciones puede ser llamados A-co mputable o f-computable respectivamente. Una de las razones por la que es importante conocer que el problema de la parada no tiene solución. si tuvie se solución efectiva. La noción de la computabilidad de una función puede ser rel ativizado a un conjunto arbitrario de números naturales A. Ensayo unidad 6 la computabilidad funciones computables o funciones Turing-computables son los o bjetos básicos de estudio. es q ue nos permite decidir si otros problemas son resolubles o no. La estrategia en el caso de la respuesta negativa es la siguiente. como máquina de Turing o máquina de registros. Funciones computables son usados para discutir computabilidad sin referir a ningún modelo de computación concreto. a saber donde es un operador recursivo. son muchos los problemas interesantes qu e se han demostrado computables. Primer teorema de Recursión. Divisibilidad de Teorías Lógicas El desarrollo de la teoría de la computabilidad ha ido íntimamente ligado al desarro llo de la lógica matemática. si se reduce de forma efectiva un problem a sin solución efectiva a otro problema (mediante una función calculable). una función con valor b ooleano f es un predicado computable si y solo si el lenguaje es recursivo. funciones computables son definibles aritméticamente. Todas las funciones construidas por recursivida d primitiva o minimalización a partir de funciones calculables resultan ser calcul ables como consecuencia. por medio de máquinas de Tu ring extendidas por un oracle por A o f. Altern ativamente se pueden definir como los algoritmos que pueden ser calculados por máq uina de Turing. y eso da a sus propiedades dados dos funciones computables f yg entonces f+g. o máquina de registros. Todo operador entre funcione s calculables que sea recursivo (esto es que se defina la imagen de f mediante u na función calculable. La razón es muy simple. Este teorema recibe su nombre porque podemos definir una fu nción mediante una ecuación recursiva más general que la permitida por la recursividad primitiva. las funciones computables son una formalización de la noción intuitiva de algoritmo de l a Tesis de Church-Turing son exactamente las funciones que pueden ser calculadas con una máquina de cálculo. Por otro lado. una función parcial es el c onjunto de funciones parcialmente computables con un parámetro es normalmente escr ito o isi el número de parámetros es claro del contexto.

o una máquina de registros eso es lo que creo.utabilidad sin referirse a ningún modelo de computación concreto. . como el de la máquin a de Turing o el de la máquina de registros. alternativamente se pueden definir co mo los algoritmos que pueden ser calculados por una máquina de Turing. una máquina d e Post.

Sign up to vote on this title
UsefulNot useful