Es un dispositivo de reconocimientos de lenguaje, es más general que cualquier autómata finito y cualquier autómata de pila, debido a que ellas pueden reconocer tanto los lenguajes regulares, como los lenguajes independientes de contexto y además muchos otros tipos de lenguajes. Es un modelo matemático que consiste en un autómata capaz de implementar cualquier problema matemático expresado por medio de un algoritmo. (Colon, 2015)
1.2. ¿Cómo trabaja la máquina de Turing?
La Máquina de Turing está formada por una unidad de control que puede describirse mediante un autómata finito, una cinta de lectura y escritura, que tiene un comienzo a la izquierda y se extiende indefinidamente a la derecha, y un cabezal, que indica la posición de la cinta sobre la que trabaja la máquina en cada paso. Inicialmente la cinta contiene la cadena de entrada de la máquina (w) seguida de celdas en blanco (B). En cada paso la maquina lee el contenido de la celda sobre la que se encuentra el cabezal, realiza un cambio de estado de la unidad de control, y escribe un dato sobre la celda o mueve el cabezal de izquierda a derecha. La máquina termina al alcanzar un estado especial llamado estado de parada (halt). La Máquina de Turing puede considerarse como un autómata capaz de reconocer lenguajes formales. En este sentido es capaz de reconocer los lenguajes recursivamente enumerarles. Dada una cadena w, la máquina puede decir si pertenece al lenguaje o no, generando la salida adecuada. (Vilca, 2016,p.34) 1.3. Aplicaciones Teoría de la computación: La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto de hacer un cómputo (cuenta o cálculo) y la clasificación de problemas de acuerdo a su grado de dificultad. Máquinas Oráculo (O-Machines): La máquina con oráculo, es una máquina de Turing equipada con un oráculo que es capaz de contestar preguntas sobre la pertenencia a un conjunto específico de números naturales. Funcionamiento: La máquina también tiene tres estados especiales: el "estado llamada", el "estado-1" y el "estado-0" y un símbolo marcador especial: μ (mú). Para usar su oráculo, la máquina debe escribir primero el símbolo μ en dos recuadros de la cinta, y entonces se entrará en el "estado llamada". En este estado se manda una petición al oráculo y la máquina termina en el "estado-1" si el número escrito en los cuadrados de la cinta entre los símbolos "μ" son un elemento del conjunto oráculo y termina en el "estado-0" en otro caso. (Barreiro, 2016)
2. REFERENCIAS
Barreiro, R. (17 de marzo de 2016). Máquinas de Turing - Tipos y Aplicaciones.
Obtenido de https://es.slideshare.net/TwinOneal/mquinas-de-turing-tipos-y- aplicaciones Colon, E. (04 de Marzo de 2015). SlideShare. Obtenido de SlideShare: https://es.slideshare.net/emmanuelcolon/la-maquina-de-turing Vilca, C. (2016). Maquina de Turing y sus Aplicaciones. Iluminati, 31-39.