MANAY BARDALES LUIS ENRIQUE 160802I

LA MAQUINA DE TURING

Hasta ahora lo que hemos visto clases de lenguajes relativamente simples y ahora es
preguntarnos qué tipos de lenguajes pueden definirse por cualquier equipo computacional.
Vamos a ver que pueden hacer las computadoras y los problemas que no pueden resolver, a
los que llamaremos indecidibles.
Como por ejemplo podemos pensar un programa de computadora que imprima un” hola “
cuando encuentre un entero positivo n>2 𝑥 𝑛 + 𝑦 𝑛 = 𝑧 𝑛 , para x,y y z enteros positivos
.Dicha solución entera de la ecuación se le conoce como el ultimo teorema de Fermat , que
llevo a los matemáticos más de 300 años en resolverla . el poder analizar cualquier
programa de computadora y decir si va a imprimir un letrero como “hola “ es en general
indecidible .
El objetivo de la indecibilidad no es solo establecer cuales problemas son indecidibles, sino
también dar una guía sobre qué es lo que se puede hacer o no con programación .Al finales
del siglo s.XIX y a inicios del siglo s.XX, D. Hilbert lanza una pregunta abierta si era
posible encontrar un algoritmo que determinara el valor de la verdad de una formula en
lógica de primer orden aplicada a los enteros.
En 1931, K . Godel probó su teorema de incompletes para demostrar que no se podía
construir dicho algoritmo .En 1936, A. Turing publico su máquina de Turing como un modelo
para cualquier tipo de computación aunque todavía en ese tiempo no existían las
computadoras. La hipótesis de church o la tesis de church-turing dice que las máquinas de
Turing pueden computar funciones recursivamente enumerables.
La máquina de Turing es dispositivo capaz de manipular símbolos en una tira de cinta
considerando ciertas reglas, que pueden simular la lógica de cualquier algoritmo de un
computador. Una máquina de Turing consiste también en un control finito que puede estar
en cualquier estado de un conjunto finito de estados.
Se tiene una cinta dividida en celdas, cada celda con un símbolo. Inicialmente la entrada (que
es una cadena finita de símbolos del alfabeto) se coloca en la cinta, en el resto de las celdas
tiene el símbolo especial del vacío.
Donde dicha cinta actúa un dispositivo que puede adoptar varios estados y que en cada
instante lee un estado de la casilla sobre la cual está situado. En función del. Símbolo que ha
leído y del estado que se encuentra y realiza tres acciones siguientes: pasa a un nuevo estado,
imprime un símbolo en el lugar que acaba de leer y luego de desplaza hacia la derecha o
izquierda, o bien la maquina se para.

BIBLIOGRAFIA
J. Martin. Lenguajes fórmales y teoría de la computación , 3 ed.., McGraw Hill , 2004.
J. E. Hopcroft, R. Motwani, y J. D. Ullman, Introduction to Automata Theory, Languages, and
Computation, 2001 .

http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-formales/material-
de-clase-1/tema-7-maquinas-de-turing

https://ccc.inaoep.mx/~emorales/Cursos/Automatas/IntroMaquinasTuring.pdf