La máquina de Turing es un modelo computacional teórico que consiste en un cabezal lector/escritor y una cinta infinita dividida en celdas. El cabezal lee los símbolos de la cinta, los borra y escribe nuevos símbolos según una tabla de estados y transiciones. La máquina se mueve celda por celda a lo largo de la cinta y puede reconocer lenguajes formales de manera recursiva. Es más poderosa que autómatas finitos o con pila y tiene la misma potencia computacional que otros

1. UNIVERSIDAD DE LAS AMERICAS<br />REDES YTELECOMUNICACIONES<br />NOMBRE: JAVIER ALTAMIRANO<br />MATRICULA: 303047<br />TEMA: MAQUINA DE TURING<br />DESCRIPCIÓN<br />Máquina de Turing es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta, generando una salida en esta misma.<br />Este modelo está conformado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una función de transición, que recibe un estado inicial y una cadena de caracteres(la cinta, la cual es finita por la izquierda) pertenecientes al alfabeto de entrada. Luego va leyendo una celda de la cinta, borrando el símbolo, escribir el nuevo símbolo perteneciente al alfabeto de salida y finalmente avanza a la izquierda o a la derecha (solo una celda a la vez), repitiendo esto según se indique en la función de transición, para finalmente detenerse en un estado final o de aceptación, representando así la salida.<br />Funcionamiento<br />La máquina 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 máquina se limitan a:<br />avanzar el cabezal lector/escritor hacia la derecha. <br />Visualización de una Maquina de Turing, en la que se ve el cabezal y la cinta que se lee<br />avanzar el cabezal lector/escritor hacia la izquierda.<br />El cómputo es determinado a partir de una tabla de estados de la forma:<br />(estado, valor) (nuevo estado, nuevo valor, dirección)<br />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.<br />La memoria será la cinta la cual se divide en espacios de trabajo denominados celdas, donde se pueden escribir y leer símbolos. Inicialmente todas las celdas contienen un símbolo especial denominado “blanco”. Las instrucciones que determinan el funcionamiento de la máquina tienen la forma, “si estamos en el estado x leyendo la posición y, donde hay escrito el símbolo z, entonces este símbolo debe ser reemplazado por este otro símbolo, y pasar a leer la celda siguiente, bien a la izquierda o bien a la derecha”. La máquina de Turing puede considerarse como un autómata capaz de reconocer lenguajes formales. En ese sentido es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarquía de Chomsky. Su potencia es, por tanto, superior a otros tipos de autómatas, como el autómata finito, o el autómata con pila, o igual a otros modelos con la misma potencia computacional<br />