Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
NOMBRE:
CARLOS YAJAMIN
TEMA
FECHA
Máquina de Turing
[ocultar]
1 Historia
2 Definición formal
o 2.1 Funcionamiento
o 2.2 Representación como diagrama de estados.
o 2.3 Descripción instantánea(DI).
3 Ejemplo
4 Modificaciones Equivalentes
o 4.1 Máquina de Turing con movimiento "Stay" o "Esperar"
o 4.2 Máquina de Turing con cinta infinita a ambos lados
o 4.3 Máquina de Turing con cinta multipista
o 4.4 Máquina de Turing con multicintas
o 4.5 Máquinas de Turing Multidimensionales
5 Máquinas de Turing deterministas y no deterministas
6 Problema de la parada (halting problem)
7 Codificación de una máquina de Turing
8 Máquina Universal de Turing
9 Máquina de Turing Cuántica
10 Véase también
11 Enlaces externos
12 Referencias
o 12.1 Notas al pie
o 12.2 Bibliografía
Historia
Una máquina de Turing con una sola cinta puede ser definida como una 7-tupla
, donde:[2]
[editar] Funcionamiento
Esta tabla toma como parámetros el estado actual de la máquina y el carácter leído
de la cinta, dando la dirección para mover el cabezal, el nuevo estado de la
máquina y el valor a ser escrito en la cinta.
[editar] Ejemplo
Esta modificación se denota al igual que una MT sencilla, lo que la hace diferente es
que la cinta es infinita tanto por la derecha como por la izquierda lo cual permite
realizar transiciones iniciales como δ(q0, x) = (q1, y, L).
Es aquella que mediante la cual cada celda de la cinta de una máquina sencilla se
divide en subceldas. Cada subcelda es capaz de contener símbolos de la cinta. La
cinta tiene cada celda subdividida en tres subceldas. Se dice que esta cinta tiene
múltiples pistas puesto que cada celda de esta máquina de Turing contiene
múltiples caracteres, el contenido de las celdas de la cinta puede ser representado
mediante n-tuplas ordenadas. Los movimientos que realice está máquina
dependerán de su estado actual y de la n-tupla que represente el contenido de la
celda actual. Cabe mencionar que posee un solo cabezal al igual que una MT
sencilla.
Diagrama de una Máquina de Turing multicintas, las flechas indican los cabezales
de Lectura/Escritura.
[editar] Máquina de Turing con multicintas
Una MT con más de una cinta consiste de un control finito con k cabezales
lectore/escritores y k cintas. Cada cinta es infinita en ambos sentidos. la MT define
su movimiento dependiendo del símbolo que esta leyendo cada uno de sus
cabezales, da reglas de sustitución para cada uno de los símbolos y dirección de
movimiento para cada uno de los cabezales.inicialmente la MT empieza con la
entrada en la primera cinta y el resto de las cintas en blanco.
Toda máquina de Turing se puede codificar como una secuencia binaria finita, es
decir una secuencia finita de ceros y unos. Para simplificar la codificación,
suponemos que toda MT tiene un único estado inicial denotado por q1, y un único
estado final denotado q2. Tendremos que para una MT M de la forma
Γ= {s1,s2,.....,sm,....,sp}
donde s1 representa el símbolo blanco 0, Δ o b(según se desee denotar), Σ =
{s2,.....,sm} es alfabeto de entrada y sm + 1,...,sp son los símbolos auxiliares utilizados
por M(cada MT utiliza su propia colección finito de símbolos auxiliares). Todos
estos símbolos se codifican como secuencias de unos:
Símbolo Codificación
s1 1
s2 11
s2 111
. .
. .
. .
sm 1m
sp 1p
Los estados de una MT, q1,q2,q3,...,qn, se codifican también con secuencias de unos:
Símbolo Codificación
q1(inicial) 1
q2(final) 11
. .
. .
. .
qn 1n
Con esta codificación de tablas como cadenas, se abre la posibilidad de que unas
máquinas de Turing se comporten como otras máquinas de Turing. Sin embargo,
muchas de sus posibilidades son indecidibles, pues no admiten una solución
algorítmica. Por ejemplo, un problema interesante es determinar si una máquina
de Turing cualquiera se parará en un tiempo finito sobre una determinada entrada;
problema conocido como Problema de la parada, y que Turing demostró que era
indecidible. En general, se puede demostrar que cualquier cuestión no trivial sobre
el comportamiento o la salida de una máquina de Turing es un problema
indecidible.