TECNOLÓGICO NACIONAL DE MÉXICO

INSTITUTO TECNOLÓGICO DE NUEVO LEÓN

SUBDIRECCIÓN ACADÉMICA
DEPARTAMENTO DE EDUCACIÓN A DISTANCIA
INGENIERÍA EN SISTEMAS COMPUTACIONALES

LENGUAJES Y AUTOMÁTAS I
MODALIDAD ESCOLARIZADA: EDUCACIÓN A DISTANCIA
TEMA 4. Máquinas de Turing

Nombre de la actividad
ENSAYO

Catedrático.
Prof.: José Isidro Hernández Vega

Presenta:
Luis Fernando Rincón Álvarez #16480883

Cd. Guadalupe, Nuevo León a 9 de mayo de 2021.

Ensayo de la Máquina de Turing.
Todo comienza en 11936, cuando Alan Turing contesto el entscheidungsproblem, que era la cuestión
plateada por David Hilbert sobre si en las matemáticas hay un método definido que se pueda aplicarse a
cualquier sentencia matemática y que diga si es cierta o no. Tiempo después en el articulo On Computable
Numbers, mencionaban que Turing construyo un modelo formal de computador llamado Máquina de Turing,
que demostraba que había tareas que las maquinas no podían resolver, convirtiendo así a la Máquina de
Turing como el primer modelo teórico, pasando el tiempo a este tipo de máquinas se les conoció como
maquinas de estado finito.

¿Qué es?
La Máquina de Turing es un modelo computacional y/o matemático abstracto que formaliza el
termino de algoritmo.

¿Cuáles son sus características?

Una Máquina de Turing con una sola cinta puede ser definida como una 6-tupla, donde:
• Q es un conjunto finito de estados.
• Γ es un conjunto finito de símbolos de cinta, es decir el alfabeto de cinta.

¿Cuál es su funcionamiento?
Una Máquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT, tanto como el
INPUT como el OUTPUT se conforman de números en código binario, en su versión original la Máquina de
Turing consiste en una cinta infinitamente larga con unos y ceros que pasan por una caja. La cinta esta
dividida en casillas, sobre esta pasa un dispositivo que es capaz de desplazarse a lo lago de la cinta de una
casilla a la vez, este dispositivo cuanta con un cabezal que es capaz de leer los símbolos escritos en la cinta o
de borrar existentes en esta e imprimir uno nuevo en su lugar.
Además, contiene un registro capaz de almacenar un estado, el cual bien definido por un símbolo,
estos definen el estado del dispositivo no tiene por que coincidir con los símbolos que se pueden leer o
escribir en la cinta.
La maquina tiene un funcionamiento totalmente mecánico y secuencial, lo que hace es leer el
símbolo que hay en la casilla que tiene debajo, después toma el símbolo del estado en que se encuentra. Con
estos datos accede a una tabla en la cual lee el símbolo que debe escribir en la cinta, el nuevo estado al que
debe pasar y si debe desplazarse a la casilla izquierda o derecha.

¿Cuáles fueron sus contribuciones?

Determina si un problema matemático puede ser resuelto o no mediante un procedimiento definido,
expresar mediante un algoritmo los problemas matemáticos que peda resolver, con una diferencia que la
maquina se asemeja a un ordenador. Dio a conocer el concepto de hipercomputacion, que es la computación
o resolución de las tareas que no puede resolver una Máquina de Turing.