concepto de algoritmo .

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 lecturaescritura. Su operacin viene determinada por su funcin de transicin. 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.

infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. La operacin de la MT consta de los siguientes pasos: 1. Lee un caracter en la cinta 2. Efectua una transicin de estado 3. Realiza una accin en la cinta Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un smbolo en la cinta, o Mueve la cabeza a la izquierda o a la derecha Estas dos acciones son excluyentes, es decir, se hace una o la otra, pero no ambas a la vez. La palabra de entrada en la MT est escrita