INSTITUTO TECNOLGICO SUPERIOR DE FELIPE

CARRILLO PUERTO



TEORA DE LA COMPUTACION



ING. CINTIA ISABEL ARCEO FUENTES



INGENIERA EN SISTEMAS COMPUTACIONALES.


UNIDAD 4: MQUINA DE TURING.




EQUIPO:
ALONZO XOOL ERIKA ALEJANDRINA.
UN CHUC GELMI GRISELDA.
COHUO CIAU LEONILDA GUADALUPE.
CHIMAL JIMNEZ JOS CARLOS.



6TO SEMESTRE GRUPO: A





FELIPE CARRILLO PTO. A 11 DE MAYO DEL 2012.


INTRODUCCIN

La Mquina de Turing o tambin conocida como (MT) fue introducida por Alan M.
Turing en 1936, y puede considerarse como un modelo abstracto que formaliza la
idea Intuitiva de algoritmo.

(MT) Es un modelo computacional que realiza una lectura/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.

Esto es generalmente para la realizacin de autmatas pero ms all de los finitos
y los de pila.
A continuacin se hablara con ms detallas acerca de esto para tener una mejor
comprensin de la misma.


















4.1 DEFINICIN FORMAL DE UNA MQUINA DE
TURING.
Una mquina de Turing es un dispositivo como lo eran los autmatas
finitos o los autmatas a pila, con ms capacidades que stos. Dispone tambin
de un nmero finito de estados, uno de ellos inicial, y algunos de ellos finales.
Dispone tambin de una cinta, que es una sucesin doblemente infinita de
celdas, en cada una de las cuales hay un smbolo. La cinta est inicialmente en
blanco salvo en una porcin finita, en la que est almacenada la entrada. La
mquina de Turing puede leer y escribir smbolos en la cinta, y moverse a lo largo
de ella en ambos sentidos. Para ello dispone de una cabeza de lectura-escritura
Su operacin viene determinada por su funcin de transicin.









Definicin formal
Una mquina de Turing con una sola cinta puede definirse como una 7-tupla

donde:
- es un conjunto finito de estados.
- es un conjunto finito de smbolos distinto del espacio en blanco,
denominado alfabeto de mquina o de entrada.
- es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta (
).
- es el estado inicial.
- es un smbolo denominado blanco, y es el nico smbolo que se
puede repetir un nmero infinito de veces.
- es el conjunto de estados finales de aceptacin.
- es una funcin parcial denominada
funcin de transicin, donde es un movimiento a la izquierda y es el
movimiento a la derecha.
Existen en la literatura un abundante nmero de definiciones alternativas, pero
todas ellas tienen el mismo poder computacional, por ejemplo se puede aadir el
smbolo como smbolo de "no movimiento" en un paso de cmputo.
Funcionamiento
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:
- Mover el cabezal lector/escritor hacia la derecha.
- Mover el cabezal lector/escritor hacia la izquierda.
El cmputo se determina a partir de una tabla de estados de la forma:
(estado, valor) (nuevo estado, nuevo valor, direccin)
Esta tabla toma como parmetros el estado actual de la mquina y el carcter
ledo de la cinta, dando la direccin para mover el cabezal, el nuevo estado de la
mquina y el valor a escribir en la cinta.
La memoria es la cinta de la mquina que se divide en espacios de trabajo
denominados celdas, donde se pueden escribir y leer smbolos. Inicialmente todas
las celdas contienen un smbolo especial denominado "blanco". Las instrucciones
que determinan el funcionamiento de la mquina tienen la forma, "si estamos en el
estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este
smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda
siguiente, bien a la izquierda o bien a la derecha".
La mquina de Turing puede considerarse como un autmata capaz de reconocer
lenguajes formales. En ese sentido, es capaz de reconocer los lenguajes
recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia
es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o el
autmata con pila, o igual a otros modelos con la misma potencia computacional.

4.2 CONSTRUCCIN MODULAR DE UNA MQUINA
DE TURING.

Mediante esta tcnica se puedan desarrollarse maquinas de Turing
complejas a partir de bloques de elementales a partir de maquinas mas pequeas
mediaste diagramas de transiciones.

La construccin de maquinas de Turing se lleva a cabo mediante los
diagramas de transicin y combinarlos de manera parecida a lo que se realiza en
la formacin de la unin y concatenacin de los autmatas finitos.
Pasos para la construccin de una mquina de Turing

1.-Elimine las caractersticas de inicio de los estados iniciales de las maquinas,
excepto la de aquel donde iniciara la maquina compuesta.

2.-Elimine las caractersticas de detencin de los estados de parada de todas la
maquinas e introduzca un nuevo estado de parada que nos se encuentre en
ninguno de los diagramas que se combinan.

3.-Para cada uno de los antiguos estados de parada p y cada x en y.



Ejemplificacin de dicha construccin.






Una mquina de Turing es un autmata que se mueve sobre una secuencia lineal
de datos. En cada instante la mquina puede leer un solo dato de la secuencia
(generalmente un carcter) y realiza ciertas acciones en base a una tabla que
tiene en cuenta su "estado" actual (interno) y el ltimo dato ledo.

Entre las acciones est la posibilidad de escribir nuevos datos en la
secuencia; recorrer la secuencia en ambos sentidos y cambiar de "estado" dentro
de un conjunto finito de estados posibles.




4.3 LENGUAJES ACEPTADOS POR LA MT.

Una mquina de Turing se puede comportar como un aceptador de un lenguaje. Si
colocamos una cadena w en la cinta, situamos la cabeza de lectura/escritura sobre
el smbolo del extremo izquierdo de la cadena w y ponemos en marcha la
mquina a partir de su estado inicial. Entonces w es aceptada si, despus de una
secuencia de movimientos, la mquina de Turing llega a un estado final y para.
Por tanto w es aceptada. Si qw * w1pw2 para algn estado final p y unas
cadenas w1 y w2.
Entonces, se obtiene la siguiente definicin:
Sea M = (Q, E , I, q0=q1, B, F, o) una mquina de Turing. Entonces el lenguaje
aceptado por M es: L(M) = {we E*|q1w * w1pw2 para peF y wieI*}.
Los lenguajes formales que son aceptados por una mquina de Turing son
exactamente aquellos que pueden ser generados por una gramtica formal. El
clculo Lambda es una forma de definir funciones. Las funciones que pueden se
computadas con el clculo Lambda son exactamente aquellas que pueden ser
computadas con una mquina de Turing.
Estos tres formalismos, las mquinas de Turing, los lenguajes formales y el
clculo Lambda son formalismos muy dismiles y fueron desarrollados por
diferentes personas. Sin embargo, ellos son todos equivalentes y tienen el mismo
poder de expresin. Generalmente se toma esta notable coincidencia como
evidencia de que la tesis de Church-Turing es cierta, que la afirmacin de que la
nocin intuitiva de algoritmo o procedimiento efectivo de cmputo corresponde a la
nocin de cmputo en una mquina de Turing.
Gramticas estructuradas por frases:

Parte izquierda de las reglas: combinacin de smbolos terminales y
no terminales, con al menos un no terminal.

Parte derecha de las reglas: combinacin de smbolos terminales y no terminales
de cualquier longitud (incluso 0).

- Las mquinas de Turing aceptan lenguajes estructurados por frases.


4.4 VARIANTES DE UNA MQUINA DE TURING.

Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos
de esos modelos alternativos son mucho ms complicados aunque todos tienen la
misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor
flexibilidad al diseo de una mquina de Turing que resuelva un problema en
particular.
Mquina de Turing con Directiva de Permanecer

Recurdese que la mquina de Turing sencilla sita la cabeza de lectura/escritura
sobre el primer B que haya a la izquierda de la posicin actual. Para hacerlo,
busca fuera de la celda actual y retrocede. Esto es debido a la definicin original
que requiere que por cada transicin se mueva la cabeza de la cinta.


permanecer, es decir no mover la cabeza de lectura/escritura.

en la celda actual y la cabeza se queda sobre la celda actual.
Mquina de Turing Multipista

Es aquella mediante la cual cada celda de la cinta se divide en subceldas.
Cada subcelda es capaz de contener smbolos de la cinta. La cinta tiene cada
celda subdividida en tres subceldas. Se dice que esta cinta tiene mltiples pistas.
Puesto que cada celda de esta mquina de Turing contiene mltiples caracteres,
el contenido de las celdas de la cinta puede ser representado mediante n-tuplas
ordenadas. En el ejemplo anterior, las celdas de la cinta contienen (B, a, a), (b, a,
a) y (b, b, B). Por tanto, los movimientos que realice est mquina dependern de
su estado actual y de la n-tupla que represente el contenido de la celda actual.


Una mquina de Turing multipista no tiene ms potencia que la mquina de Turing
original. Sin embargo, hace que sea ms fcil la construccin de mquinas de
Turing que resuelvan ciertos problemas.







Mquina de Turing de Cinta infinita en una Direccin
Mquina de Turing que usa una cinta que se extiende infinitamente en una nica
direccin. Generalmente, se tiene una cinta que se extiende infinitamente hacia la
derecha. No est permitido realizar ningn movimiento hacia la izquierda a partir
de la celda del extremo izquierdo.
Desde luego, cualquier mquina de Turing de esta forma puede ser
simulada por una de las que responden a la definicin original. Para cada
computacin, simplemente se marca una de las celdas de la cinta infinita por los
dos lados, como la celda que se encuentra en el lmite izquierdo.

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. 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).
o : QI
n
-->Q(I{L,R})
n

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).

Cambia de estado dependiendo del estado actual y del contenido de las celdas de
todas las cintas, que estn analizando actualmente las cabezas de
lectura/escritura.
Escriben un nuevo smbolo en cada una de las celdas barridas por sus cabezas
de lectura/escritura.
Mueve cada una de sus cabezas hacia la izquierda o hacia la derecha (de forma
independiente al resto de las cabezas).

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 mueve a la izquierda,
al derecha, hacia arriaba o hacia abajo. Por tanto, la funcin de transicin para
esta mquina de Turing ser de la forma:

o: Q x I Q x I x {R, L, U, D}
Una mquina de Turing multidimensional simula una mquina de Turing estndar.
Simplemente realizando todas sus computaciones en una nica dimensin. Una
mquina de Turing estndar tambin puede simular una mquina de Turing
multidimensional y, por tanto, la complejidad y la flexibilidad adicional que se debe
a la mltiple dimensin, no es una capacidad real.

Para simular una mquina de Turing de dos dimensiones mediante una mquina
de Turing estndar, primero se asociara una direccin a todas las celdas de la
cinta. Una forma de hacerlo es fijar, de forma arbitraria, un lugar en la cinta a partir
del cual se asignarn las coordenadas a las celdas de la misma forma que se
realiza en un plano de coordenadas.
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 o de dicha mquina, satisface
o(q, o) _ Q x I x {R, L}
Por ejemplo, si la mquina de Turing tiene una transicin
o(q1, a) = {(q1, b, R), (q2, a, L)} entonces los movimientos
abbq1ab abbbq1b y abbq1ab abq2bab son posibles.
Ya que cualquier mquina de Turing determinista es tambin no
determinista, es lgico que una mquina de Turing determinista se puede simular
mediante una no determinista. Tambin una mquina de Turing determinista
puede simular una no determinista. Por tanto, no se gana ninguna potencia
adicional a causa del no determinismo.


4.5 PROBLEMAS DE HILBERT.
Los problemas de Hilbert son una lista de 23 problemas matemticos compilados
por el matemtico alemn David Hilbert para la conferencia en Pars del Congreso
Internacional de Matemticos de 1900. Los problemas estaban todos por resolver
en aquel momento, y varios resultaron ser muy influyentes en la matemtica del
siglo XX. Hilbert present diez de los problemas (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22)
en la conferencia, en un acto el 8 de agosto en La Sorbona.
Hilbert tena un pequeo grupo de pares: Adolf Hurwitz y Hermann Minkowski eran
ambos amigos cercanos e iguales intelectuales. Hay un guio a la geometra de
nmeros de Minkowski en el problema 18, y a su trabajo en las formas cuadrticas
en el problema 11. Hurwitz fue el gran desarrollador de la teora de la superficie de
Riemann. Hilbert us la analoga del cuerpo de funciones, una gua a la teora
algebraica de nmeros mediante el uso de anlogos geomtricos, para desarrollar
la teora del cuerpo de clases dentro de su propia investigacin, y esto queda
reflejado en el problema 9, hasta cierto punto en el problema 12, y en los
problemas 21 y 22. Por otro lado, el nico rival de Hilbert en 1900 era Henri
Poincar, y la segunda parte del problema 16 es una cuestin de sistemas
dinmicos al estilo de Poincar.
Los veintitrs problemas de Hilbert son:
1 La hiptesis del continuo (esto es, no existe conjunto cuyo tamao est
estrictamente entre el de los enteros y el de los nmeros reales) Se ha probado
la imposibilidad de probarlo como cierto o falso mediante los axiomas de Zermelo-
Fraenkel. No hay consenso al respecto de considerar esto como solucin al
problema.
2 Probar que los axiomas de la aritmtica son consistentes (esto es, que la
aritmtica es un sistema formal que no supone una contradiccin). Parcialmente
resuelto: hay quienes sostienen que se ha demostrado imposible de establecer en
un sistema consistente, finitista y axiomtico 2 Sin embargo, Gentzen prob en
1936 que la consistencia de la aritmtica se deriva del buen fundamento del
ordinal 0, un hecho sujeto a la intuicin combinatoria.
3 Se puede probar que dos tetraedros tienen igual volumen (bajo ciertas
asunciones)? Resuelto. Resultado: no, probado usando invariantes de Dehn
4 Construir todas las mtricas cuyas rectas sean geodsicas. Demasiado
vago para decidir si se ha resuelto o no.
5 Son los grupos continuos grupos diferenciales de forma automtica? Resuelto
por Andrew Gleason
6 Axiomatizar toda la fsica Sin resolver. No matemtico
7 Es a b trascendental, siendo a 0,1 algebraico y b irracional algebraico?
Resuelto. Resultado: s, ilustrado por el teorema de Gelfond o el teorema de
Gelfond-Schneider
8 La hiptesis de Riemann (la parte real de cualquier cero no trivial de la funcin
zeta de Riemann es ) y la conjetura de Goldbach (cada nmero par mayor que 2
se puede escribir como la suma de dos nmeros primos). Abierto
9 Encontrar la ley ms general del teorema de reciprocidad en cualquier cuerpo
numrico algebraico Parcialmente resuelto
10 Encontrar un algoritmo que determine si una ecuacin diofntica polinmica
dada con coeficientes enteros tiene solucin entera. Resuelto. Resultado: no, el
teorema de Matiyasevich implica que no existe tal algoritmo.
11 Resolver las formas cuadrticas con coeficientes numricos algebraicos.
Parcialmente resuelto.
12 Extender el teorema de Kronecker sobre extensiones abelianas de los
nmeros racionales a cualquier cuerpo numrico de base. Abierto
13 Resolver todas las ecuaciones de 7 grado usando funciones de dos
parmetros. Resuelto. Lo prob posible Vladimir Arnold.
14 Probar la finitud de ciertos sistemas completos de funciones. Resuelto.
Resultado: no, en general, debido a un contraejemplo
15 Fundamento riguroso del clculo enumerativo de Schubert. Parcialmente
resuelto
16 Topologa de las curvas y superficies algebraicas. Abierto
17 Expresin de una funcin definida racional como cociente de sumas de
cuadrados Resuelto. Resultado: se estableci un lmite superior para el nmero
de trminos cuadrados necesarios
18 Existe un poliedro irregular y que construya otros poliedros? Cual es el
apilamiento compacto ms denso? Resuelto.
19 Son siempre analticas las soluciones de los Lagrangianos? Resuelto.
Resultado: s
20 Tienen solucin todos los problemas variacionales con ciertas condiciones de
contorno? Resuelto. Ha supuesto un rea importante de investigacin durante
el siglo XX, culminando con las soluciones al caso no lineal.
21 Probar la existencia de ecuaciones lineales diferenciales que tengan un grupo
monodrmico prescrito Resuelto. Resultado: s o no, dependiendo de una
formulacin ms exacta del problema
22 Uniformizacin de las relaciones analticas por medio de funciones
automrficas Resuelto
23Extensin de los mtodos del clculo de variaciones Resuelto

CONCLUSIN
En conclusin se puede decir que una Mquina de Turing, o MT, se considerar
una cinta infinita dividida en casillas, cada una de las cuales contiene un smbolo,
y sobre la cual acta un dispositivo que puede adoptar diversos estados, y que lee
un smbolo de la casilla sobre la que est situado. En funcin de dicho smbolo y
del estado actual, se pueden realizar tres acciones siguientes: pasa a un nuevo
estado, imprime un smbolo en lugar del que acaba de leer y se desplaza a una
posicin hacia la izquierda, derecha, o se detiene.



BIBLIOGRAFA
http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing#Definici.C3.B3n_formal
www.oocities.org/mx/bellota_epg/unidad4.ppt
www.scribd.com/doc/56024237/Unidad-4-Maquina-de-Turing
http://iie.fing.edu.uy/~vagonbar/unixbas/expreg.htm
http://www.microsoft.com/spanish/msdn/articulos/archivo/201205/voices/regex.msp
x
http://www.desarrolloweb.com/articulos/2033.php
http://www.elguille.info/regexp/indice.aspx#introRegExp