Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Maquinas de Turing
Maquinas de Turing
Maquinas de Turing
- MAQUINAS DE TURING
1. QUE ES Y EN QUE CONSISTE UNA MAQUINA DE TURING
...
En el caso de que para cada par estado y smbolo posible exista a lo sumo una
posibilidad de ejecucin, se dir que es una mquina de Turing determinista,
mientras que en el caso de que exista al menos un par [estado, smbolo] con ms
de una posible combinacin de actuaciones se dir que se trata de una mquina
de Turing no determinista.
La funcin de transicin en el caso no determinista, queda definida como sigue:
Cmo sabe una mquina no determinista cul de las varias actuaciones tomar?
Hay dos formas de verlo: una es decir que la mquina es "el mejor adivino
posible", esto es, que siempre elige la transicin que eventualmente la llevar a un
estado final de aceptacin. La otra es imaginarse que la mquina se "clona",
bifurcndose en varias copias, cada una de las cuales sigue una de las posibles
transiciones. Mientras que una mquina determinista sigue un solo "camino
computacional", una mquina no determinista tiene un "rbol computacional". Si
cualquiera de las ramas del rbol finaliza en un estado de aceptacin, se dice que
la mquina acepta la entrada.
La capacidad de cmputo de ambas versiones es equivalente; se puede
demostrar que dada una mquina de Turing no determinista existe otra mquina
de Turing determinista equivalente, en el sentido de que reconoce el mismo
lenguaje, y viceversa. No obstante, la velocidad de ejecucin de ambos
formalismos no es la misma, pues si una mquina no determinista M reconoce una
cierta palabra de tamao n en un tiempo O (t(n)), la mquina determinista
equivalente reconocer la palabra en un tiempo O (2t(n)). Es decir, el no
determinismo permitir reducir la complejidad de la solucin de los problemas,
permitiendo resolver, por ejemplo, problemas de complejidad exponencial en un
tiempo polinmico
1.
2.
3.
La cinta es infinita
4.
2.
3.