Maquina de Turing Alejandro Ramirez Aparicio

La Máquina de Turing (MT) Introducida por Alan M. Turing en 1936, y puede considerarse como un modelo abstracto que formaliza la idea Intuitiva de algoritmo. Es un modelo matemático para representar a una maquina teórica. A pesar de su simplicidad tiene el mismo poder computacional de una computadora de propósito general. La Máquina de Turing, es interesante, sobre todo, por el conjunto de lenguajes que permite reconocer y también generar (lenguajes recursivamente numerables) y por el conjunto de funciones que puede computar

En resumen, una Maquina de Turing es un modelo matemático que consiste en un autómata capaz de implementar cualquier problema matemático expresado por medio de un algoritmo.

La maquina de Turing es un elemento muy importante para la codificación y decodificación, su uso se ha expandido gracias a su simplicidad y eficiencia. Ventajas en la vida laboral

aplicaciones Según Jhon E. Hopcroft et all (2006), la Máquina de Turing puede ser aplicada de diferentes maneras, como por ejemplo: Teoría de la Computación Es una rama de las matemáticas y de las ciencias de 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 y la clasificación de problemas de acuerdo a su grado de complejidad

Maquina Oráculo 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. Bombe Era un dispositivo electromecánico (un ordenador de uso específico) usado por los criptólogos británicos para ayudar a descifrar las señales cifradas por la máquina alemana Enigma durante la Segunda Guerra Mundial.

MT como generadoras de lenguaje Otra de las capacidades importantes es la de generar lenguajes, tarea en la MT M=(Q,Σ,Γ,q_0,T,B,δ)

Ejemplos Maquina de Turing que acepte el mismo numero de unos que ceros. SALIDA

Maquina de Turing con el siguiente lenguaje

Referencias Hopcroft, J. and Ullman, J. (1997). Introducción a la teoría de autómatas, lenguajes y computación. México: CECSA. Jurado Málaga, E. (2008). Teorías de autómatas y lenguajes formales. Cáceres: Universidad de Extremadura, Servicio de Publicaciones