La máquina de Turing es un modelo abstracto de algoritmo introducido por Alan Turing en 1936. Consiste en un alfabeto de entrada y salida, estados finitos, y una función de transición que lee símbolos de una cinta finita por la izquierda, los borra y escribe nuevos símbolos según las transiciones entre estados, avanzando o retrocediendo un casillero a la vez hasta detenerse en un estado final, representando así la salida.

1. Parte 1:
Mediante un resumen indique la definición, el funcionamiento y lenguaje de una máquina de
Turing, su lenguaje recursivo (coloque imágenes alusivas al tema).
La Máquina de Turing (MT) fue introducida por Alan M. Turing en 1936, y puede considerarse
como un modelo abstracto que formaliza la idea Intuitiva de algoritmo.
Es un modelo computacional que realiza una lectura/escritura de manera automática sobre una
entrada llamada cinta, generando una salida en esta misma. 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.
Parte 2:
Investigue 2 ejemplos similares a los presentado en el tema de clases donde se visualice la
funcionalidad de la máquina de Turing .

2. Ejemplo 1

3. Ejemplo 2