TEORIA DE LENGUAJES

LA MAQUINA DE TURING

I N G . M I G U EL S I LVA ZA PATA
C I P 9 6 1 95
 Introducción
En 1931, Kurt Gödel , publico su Principia Mathematica y Sistemas Relacionados, que
puede ser la realización matemática mas importante del siglo XX.

El teorema de Gödel demuestra que toda formulación axiomática consistente de la teoría

de números contiene proposiciones indecidibles: siempre hay afirmaciones verdaderas
que no se pueden demostrar.

En 1937 Alan Mathison

Turing público un
artículo sobre números
calculables, que
desarrollo el teorema de
Gödel lo que puede
considerarse como el
origen oficial de la
Informática Teórica.
 MAQUINA DE TURING

Del símbolo leído y del estado en

que se encuentra realiza las tres
acciones siguientes:
Una cinta infinita dividida en - Pasa a un nuevo estado
casillas, cada una de las cuales - Imprime un símbolo en lugar
contiene un símbolo, sobre la que del que acaba de leer.
actúa un dispositivo que adopta - Se desplaza una posición a la
diversos estados y que en cada izquierda, derecha o la maquina
instante lee un símbolo de la casilla se para.
sobre el que esta situado.

Cada posición de la tabla o contenido de

la celda tiene 3 elementos, el estado
siguiente, el símbolo que se escribe en la
cinta y el movimiento de la cabeza (I,D,P)
 MAQUINA DE TURING

El concepto de maquina de Turing es tan general y

potente que permite construir una maquina capaz de
simular el comportamiento de otra maquina de Turing
cualquiera. A esto se le conoce como Maquina de
Turing Universal y gracias a esto disponemos de
ordenadores electrónicos que son máquinas
generalizadas capaces de realizar cualquier cálculo
computable.
 MAQUINA DE TURING

DEFINICION
Construcción lógica que se puede
representar como un dispositivo
mecánico, formado por una cinta
infinita dividida en celdas y un
cabezal de lectura/escritura que se
mueve sobre esa cinta avanzando una
por una.
Están distribuidos los símbolos de la
cadena de caracteres que se evalúa, en
cada instante lee un solo dato y realiza
acciones basadas en una tabla que tiene
en cuenta su estado actual y el ultimo
dato leído, en la cinta es posible escribir,
recorrerla en ambos sentidos y cambiar
a otro estado de los posibles.

Este concepto lo introdujo Alan Mathison Turing en 1936.

La máquina de Turing, también es conocida como autómata de tipo 0 y Maquina
computacional.
 DEFINICION FORMAL

Una MT, es un autómata y como tal esta formado por una quíntupla MT=(E,S,Q,f,s) ;
sin embargo se usa una notación equivalente:

Donde:
 IMPORTANCIA

La maquina de Turing busca definir matemáticamente y de

manera precisa un algoritmo.

- A pesar de que apareció en 1936, mucho antes que las

computadoras digitales , actualmente son el objeto central de los
teóricos de la computación, la definición moderna de
computable esta en base a este concepto y en la inteligencia
artificial es inevitable referirse al test de Turing.
- Es capaz de resolver cualquier problema matemático que esta
expresado como un algoritmo.
 MOVIMIENTO DE UNA MAQUINA DE TURING

Depende del símbolo explorado con el cabezal y del estado actual en que
se encuentra la maquina, el resultado puede ser:
a.- Cambio de estado.
b.- Imprime un símbolo en la cinta reemplazando al
que fue leído.
c.- Se mueve la cabeza de la cinta a la izquierda a la
derecha o se detiene.
*) Los tres resultados pueden darse juntos o de manera
separada.
 LENGUAJE ACEPTADO POR UNA MAQUINA DE TURING

Se denota como L(MT) y viene a ser el conjunto de palabras o cadenas de

caracteres formadas con el alfabeto o vocabulario ∑*, que hace que la MT se
detenga cuando alcance o llegue a un estado final. Al principio el cabezal esta
situado a la izquierda de la cadena que se va ha reconocer y su estado inicial es q0.
Formalmente se representa así:

*) Una MT, reconoce un lenguaje si es capaz de reconocer todas las cadenas o

sentencias de ese lenguaje; si una sentencia o cadena de es reconocida la MT se
detiene es decir alcanza un estado final. Pero si no entonces no se para nunca.
 EJEMPLO

Diseñar una Máquina de Turing que acepte el lenguaje L={0n1n

/n>=1}.

El algoritmo de reconocimiento es el siguiente: El cabezal

de lectura/escritura se coloca en el 0 mas a la izquierda y lo
reemplaza por una X, se mueve a la derecha hasta encontrar
el 1 mas a la izquierda reemplazándolo por una Y, después
se mueve a la izquierda hasta encontrar la X mas a la
derecha, entonces se mueve una celda a la derecha, y repite
el ciclo.