INSTITUTO TECNOLGICO DE QUERTARO

DEPARTAMENTO DE EDUCACIN A DISTANCIA

UNIDAD SAN JOAQUN
CARRERA:
Ingeniera En Sistemas Computacionales

MATERIA:
Lenguajes y Autmatas 1
TRABAJO:
Mquina de Turing
ASESOR:
Ing. Marco Antonio Azcona Ramrez
TUTOR:
Ing. Yoab Esa Molina Aguilar
Ing. Nstor Jonathan Martnez Camacho
ALUMNO:
Tranquilino Gonzlez Vega

FECHA:

Contenido
INTRODUCCIN................................................................................................... 2
HISTORIA DE LA MQUINA DE TURING................................................................2
DEFINICIN FORMAL DE LA MAQUINA DE TURING..............................................3
MDULOS QUE COMPONEN UNA MAQUINA DE TURING......................................4
LENGUAJES ACEPTADOS POR LA MAQUINA DE TURING.......................................5
REFERENCIAS...................................................................................................... 5

INTRODUCCIN
La Mquina de Turting fue un invento que revoluciono totalmente la tecnologa
siendo la base fundamental de lo que hoy conocemos como las computadoras.
Dicha maquina hace referencia a un modelo matemtico el cual usa el cdigo
binario de 0 y 1.
Alan Turing (el creador de la Mquina de Turing) no supo lo que estaba iniciando
al crear esta mquina ya que prcticamente esta fue la base de las computadoras
modernas, esta mquina cuanta con una entrada, un proceso y una salida al igual
que un autmata y se usaba para descifrar los cdigos de la maquina ENIGMA.

HISTORIA DE LA MQUINA DE TURING

El 23 de junio de 1912 naci en Londres Alan Mathison Turing, un matemtico que
ha morira sin saber la gran huella que dejo en la historia de la computacin y la
inteligencia artificial.

En 1936, en un artculo titulado Sobre los

nmeros computables con aplicacin al
problema de la decidibilidad, propona el
dispositivo que despus se conocera como la
mquina de Turing. Inspirada en el modo de
proceder de los calculistas humanos, consista
en una cinta infinita con casillas que podan
registrar ceros y unos (binario), y una mquina
de estados finitos que poda avanzar o
retroceder sobre la cinta y leer dgitos o
escribirlos segn el estado en que se
encontrara.
En 1947 el famoso matemtico ingls Alan
Turing pronunci su polmica conferencia Puede pensar una mquina?. Turing
defendi que era posible que una mquina pudiese llegar a hacer exactamente lo
mismo que hace un hombre, incluida la funcin de pensar.

DEFINICIN FORMAL DE LA MAQUINA DE TURING

La mquina de Turing es un modelo computacional que realiza una lectura y
escritura de manera automtica sobre una entrada llamada cinta, generando una
salida en esta misma. Este modelo est conformado por un alfabeto de entrada y
uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un
conjunto de estados finitos y un conjunto de transiciones entre dichos estados.
Su funcionamiento se basa en una funcin de transicin, que recibe un estado
inicial y una cadena de caracteres pertenecientes al alfabeto de entrada. Luego va
leyendo una celda de la cinta, borrando el smbolo, escribir el nuevo smbolo
perteneciente al alfabeto de salida y finalmente avanza a la izquierda o a la
derecha.

MDULOS QUE COMPONEN UNA MAQUINA DE TURING

Una cinta infinita con casillas que pueden registrar ceros y unos, y una mquina de
estados finitos (o cabezal) que poda avanzar o retroceder sobre la cinta y leer
dgitos o escribirlos segn el estado en que se encontrara.
Est constituida por los siguientes elementos:
Mquina de Turing = (, A, B, e0, F, f)

= Conjunto de estados, no vaco.

A = Conjunto de smbolos de entrada.
B = Conjunto de smbolos auxiliares.
e0 = Estado inicial.
F = Conjunto de estados finales.
f = Funcin de control, definida:

Dnde: f: ( - F ) x ( A B ) x ( A B) x ( I, O, D )

I = movimiento del cabezal a la izquierda.

O = movimiento nulo.
D = movimiento a la derecha.
La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la
que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo
valor. Las operaciones que se pueden realizar en esta mquina se limitan a:
Avanzar el cabezal lector/escritor para la derecha.
Avanzar el cabezal lector/escritor para la izquierda.

LENGUAJES ACEPTADOS POR LA MAQUINA DE TURING

Las Maquinas de Turing aceptan lenguajes formales que pueden ser generados
por una gramtica de tipo 0: recursivamente innumerable. Las mquinas de Turing
son los reconocedores de lenguaje ms poderosos que existen.
Lenguajes regulares: las gramticas (de tipo 3) formales definen un lenguaje
describiendo como se pueden generar las cadenas del lenguaje.
Las gramticas regulares (aquellos reconocidos por un autmata finito). Son las
gramticas ms restrictivas. El lado derecho de una produccin debe contener un
smbolo Terminal y como mximo un smbolo no Terminal.

REFERENCIAS
Sara Bermdez. (30 de Marzo de 2011). 4.1 DEFINICION FORMAL DE UNA
MAQUINA TURING. 20/05/2015, de sitio web:
http://teodelacomp.blogspot.mx/2011/03/41-definicion-formal-de-una-maquina.html

Luis Alejandro Daz Amaya. (5 de Agosto de 2010). Mquinas de Turing.

20/05/2015, de sitio web: http://maquinaturing.blogspot.mx/

Diego Enrique Hernndez Gonzlez. (27 de Junio de 2011).

Mquina de Turing. 20/05/2015, de SlideShare Sitio web:
http://es.slideshare.net/diegoehg/mquina-de-turing-9435744