Variantes de Una Máquina de Turing

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 12

Luis Alberto Gutirrez Oseguera Alexander Martnez Pineda Jorge Luis Argelles Pichardo

Una mquina de Turing puede hacer cualquier cosa que pueda hacer una computadora real; 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 y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual 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.

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

Hay varias definiciones de las mquinas de Turing que

son equivalentes. Algunos de esos modelos alternativos son mucho ms complicados, aunque todos tienen la misma potencia de calculo.
Muchas de ellas dotan de mayor flexibilidad al diseo

de un mquina de Turing que resuelva un problema en particular.

Los tipos de variantes de una maquina de Turing


Mquina de Turing indeterminista
Maquina de Turing con cinta multipista Mquina de Turing multicinta

Mquina de Turing Multidimensional

Mquina de Turing indeterminista


Una mquina de Turing indeterminista se define de la

forma esperada. En cada punto en una computacin la mquina puede proceder de acuerdo a varias posibilidades.

En general, un clculo , en una mquina no

determinista, es un rbol de descripciones instantneas , en lugar de ser una secuencia lineal, que es el caso de las mquinas deterministas.

Maquina de Turing con cinta multipista


Es aquella que mediante la cual cada celda de la cinta de

una mquina sencilla 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 mutiles pistas puesto que cada celda de esta MT contiene mltiples caracteres. Los movimientos que realice esta esta mquina dependern de sus estado actual y de la n-tupla que represente el contenido de la celda actual, se podria decir que posee un solo cabezal al igual que una MT sencilla.

Mquina de Turing multicinta


Una mquina de Turing multicinta es como una

mquina ordinaria con muchas cintas. Cada cinta tiene su propia cabeza de la cinta. Inicialmente la cadena de entrada se encuentra en la cinta 1 y las otras cintas estn en blanco. La funcin de transicin se modifica para permitir la lectura, escritura y movimiento de todas las cintas simultneamente.

Formalmente, se define como

: Q x k Q x k x {L, R }k, donde k es el nmero de cintas. La expresin (qi, a1,, ak) = (qj, b1, , bk, L, R, , L) Significa que, si la mquina se encuentra en el estado qi y las cabezas 1 a la k estn leyendo los smbolos a1 hasta ak, la mquina va al estado qj, escribe los smbolos b1 hasta bk y mueve cada cabeza a la izquierda o derecha segn se especifica.

Mquina de Turing Multidimensional


Otra modificacin que se puede hacer a una

mquina de Turing es permitir 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, a la derecha, hacia arriba o hacia abajo.

Por tanto, la funcin de transicin para esta mquina

de Turing ser de la forma: : Q Q{L,R,U,D}

También podría gustarte