Las Mquinas de Turing

Juan Carlos Sosa

15-0861

Mquina de Turing
Es un dispositivo de reconocimientos de
lenguaje, es ms general que cualquier
autmata finito y cualquier autmata de
pila, debido a que ellas pueden
reconocer tanto los lenguajes regulares,
como los lenguajes independientes de
contexto y adems muchos otros tipos
de lenguajes.

Mquina de Turing
Una mquina de Turing es un
dispositivo que transforma un INPUT
en un OUTPUT despus de algunos
pasos. Tanto el INPUT como el OUPUT
constan de nmeros en cdigo binario
(ceros y unos). En su versin original
la mquina de Turing consiste en una
cinta infinitamente larga con unos y
ceros que pasa a travs de una caja.

Mquinas de Turing
Existen diversos tipos de Mquinas de Turing y
cada uno de ellos posee una aplicacin
especfica.
Mquinas de
Turing
deterministas
(MTD)
Mquina de
Turing en Dos
Direcciones

Mquinas de
Turing con
varias cintas
(MTVC)

Mquinas de
Turing no
deterministas
(MTND)

Mquinas de
Turing
deterministas
(MTD)

Mquina de
Turing
Muldimensional

Mquina de Turing No Determinista

La mquina de Turing No determinista es
aquella que para un estado actual y el
smbolo actual de la cinta, puede haber un
nmero finito de movimientos a elegir. Por
lo tanto, la regla de transicin de dicha
mquina,
satisface
d (q, s ) Q x G x {R, L}

-Mquina de Turing en
Dos Direcciones

Una mquina de Turing con una cinta

infinita en un sentido puede simular
una mquina de Turing con la cinta
infinita en los dos sentidos pero con
dos pistas. Sea M una mquina de
Turing con una cinta infinita en los dos
sentidos. La mquina de Turing M,
que tiene una cinta infinita en un
sentido, puede simular a M si tiene
una cinta con dos pistas.

Mquina de Turing en
Dos Direcciones
La cinta superior contiene la
informacin correspondiente a la parte
derecha de la cinta M, a partir de un
punto de referencia dado. La pista
inferior contiene la parte izquierda de
la cinta M (en orden inverso).

La mquina de Turing
Multicinta

La mquina de Turing multicinta tiene

varias cintas, cada una de las cuales
tiene
su
propia
cabeza
de
lectura/escritura. Las cabezas de
lectura/escritura
se
controlan
independientemente (es decir, al
mismo tiempo, no tienen que moverse
en la misma direccin, ni realizar el
mismo nmero de movimientos, ni
incluso, hacer nada a la vez). En un
solo movimiento, esta mquina de

-Mquina de Turing
Muldimensional.

La
mquina
de
Turing
multidimensional es aquella que
permite que la cinta tenga muchas
dimensiones. Por ejemplo, una cinta
de dos dimensiones que se extienda
hacia abajo y hacia arriba, al igual que
hacia la derecha y hacia la izquierda.
Dependiendo del estado actual de la
mquina de Turing y del smbolo
analizado, cambia de estado, escribe
un smbolo en la celda actual y se

Referencias Bibliogrficas
N/A. (06-Apr-2009). Mquina de Turing.
2016, de Universidad del pas de
Vasco Sitio web:
http://www.sc.ehu.es/jiwhehum2/TC/te
mas/[
2]turing.pdf
Luis Alejandro Daz Amaya. (N/A).
Mquinas de Turing. 2016, de Blogger
Sitio web: http://
maquinaturing.blogspot.com/p/funcion
amiento-de-la-maquina-turing.html
N/A. (N/A). Mquinas de Turing. 2016,