Variantes de Una Máquina de Turing
Variantes de Una Máquina de Turing
Variantes de Una Máquina de Turing
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.
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
forma esperada. En cada punto en una computacin la mquina puede proceder de acuerdo a varias posibilidades.
determinista, es un rbol de descripciones instantneas , en lugar de ser una secuencia lineal, que es el caso de las mquinas deterministas.
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 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.
: 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 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.