Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Unidad 4 Maquina de Turing

Descargar como ppt, pdf o txt
Descargar como ppt, pdf o txt
Está en la página 1de 30

UNIDAD IV MQUINA DE TURING

INSTITUTO TECNOLGICO DE MINATITLN

PEA GARCA EVELIA


05231149

5 Semestre

TEORA DE LA COMPUTACIN
MC. JOS NGEL TOLEDO LVAREZ

ESTADO DEL ARTE DE LA MQUINA DE TURING

UNIDAD IV MQUINA DE TURING


MQUINA DE TURING
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.

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

Esta constituida por los siguiente elementos:


MT = ( E, A, B, e0, F, f)
E = 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:
donde: f: ( E - F ) x ( A B ) E x ( A B) x ( I, O, D )
I = movimiento del cabezal a la izquierda.
O = movimiento nulo.
D = movimiento a la derecha.

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

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.

UNIDAD IV MQUINA DE TURING

Definicin formal de MT

El cmputo es determinado 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 ser escrito en la
cinta.
Con este aparato extremadamente sencillo es posible realizar
cualquier cmputo que un computador digital sea capaz de realizar.

UNIDAD IV MQUINA DE TURING

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.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

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.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

Ejemplificacin de dicha construccin.

UNIDAD IV MQUINA DE TURING

4.2 Construccin modular de una mquina de Turing.

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.

Mquina de Turing Compuesta

UNIDAD IV MQUINA DE TURING

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, , , q0=q1, B, F, ) una mquina de Turing. Entonces el
lenguaje aceptado por M es: L(M) = {w * q1w * w1pw2 para pF y
wi*}.

UNIDAD IV MQUINA DE TURING

4.3 Lenguajes aceptados por la MT.

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.

UNIDAD IV MQUINA DE TURING

4.3 Lenguajes aceptados por la MT.

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

UNIDAD IV MQUINA DE TURING

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

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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.
La funcin de transicin estaba definida como: : Q x Q x x {R,
L}

y puede ser modificada como: : Q x Q x x {R, L, S} donde S


significa permanecer, es decir no mover la cabeza de lectura/escritura.
Por tanto (q, )=(p, , S) significa que se pasa del estado q al p, se
escribe en la celda actual y la cabeza se queda sobre la celda actual.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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.

: Qn-->Q({L,R})n

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.


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).
Por tanto, la funcin de transicin para una mquina de Turing con n cintas, es
de la forma : Q x n Q x n x {R, L} n donde una transicin de la forma (q,
(1, 2,, n)) = (p,(1, 2, , n), (X1, X2, , Xn)) significa que cambia del
estado q a p, reemplaza i por i en la cinta i y mueve la cabeza de la cinta i en la

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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:
: Q x Q x x {R, L, U, D}

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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.

UNIDAD IV MQUINA DE TURING

4.4 Variantes de una mquina de Turing.

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
(q, ) Q x x {R, L}
Por ejemplo, si la mquina de Turing tiene una transicin
(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.

UNIDAD IV MQUINA DE TURING

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.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

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.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

Los veintitrs problemas de Hilbert son:


1er 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 ZermeloFraenkel. 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.
3er Se puede probar que dos tetraedros tienen igual volumen (bajo ciertas
asunciones)?
Resuelto. Resultado: no, probado usando invariantes de Dehn.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

4 Construir todas las mtricas cuyas rectas sean geodsicas.


para decidir si se ha resuelto o no.

Demasiado vago

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

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

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

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

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.

UNIDAD IV MQUINA DE TURING

4.5 Problemas de Hilbert.

21er 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
23er Extensin de los mtodos del clculo de variaciones Resuelto

UNIDAD IV MQUINA DE TURING

Bibliografa

http://iie.fing.edu.uy/~vagonbar/unixbas/expreg.htm
http://www.microsoft.com/spanish/msdn/articulos/archivo/201205/vo
ices/regex.mspx
http://www.desarrolloweb.com/articulos/2033.php
http://www.elguille.info/regexp/indice.aspx#introRegExp
http://javascript.espaciolatino.com/lengjs/jsgram/expregulares.htm
http://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
http://www.itculiacan.edu.mx/apuntes/maestros/Ricardo%20Quin
tero/Mis%20Webs/parte%202%20Lenguajes%20Regulares/4orden%20d
e%20precedencia.htm
http://es.wikipedia.org/wiki/Lenguaje_regular
http://www.monografias.com/trabajos16/automatas-ygramaticas/automatas-y-gramaticas.shtml
http://www.suigeneris.org/kb/display/UCABTI/Expresiones+Regulare
s+a+Partir+de+Automatas
http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito

También podría gustarte