Presentado por:

César Enrique Argumedo Suescun.

Código: 1,116,855,300
Tutor: EDGAR ANTONIO CORTES

Grupo: 301405_98
• Son 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.
• Las máquinas de Turing son dispositivos que transforma una
entrada en un salida después de algunos pasos. Tanto la
entrada como la salida constan de números en código binario
(ceros y unos).
• Es una Maquina de Turing calculadora de la función
característica del lenguaje que reconoce: es una función que
asocia el valor 1 a las cadenas que pertenecen al lenguaje y 0
a las cadenas que no pertenecen al lenguaje. Cualquier
Maquina de Turing calculadora de funciones es una Maquina ´
de Turing reconocedora de lenguajes, ya que se puede
representar cada función por el lenguaje formado por las
tuplas que se pueden formar con sus parámetros de entrada y
de salida.
• Máquina de Turing que actúa como TRANSDUCTOR modifica el
contenido de la cinta realizando cierta función. Ejemplos: si la
máquina de Turing que sustituye los dígitos por cero, MT que
añade un bit de paridad a la entrada, MT que duplica el
número de 1s que hay en la cinta…
• • Si la Entrada está bien formada: debe terminar en un Estado
Final.
• • Si la Entrada No está bien formada: debe terminar en un
Estado No Final.
• Es una máquina universal de Turing (UTM) es una máquina de
Turing que puede simular una máquina de Turing arbitraria en
la entrada arbitraria. La máquina universal esencialmente logra
esto mediante la lectura de tanto la descripción de la máquina
a ser simulada como también la entrada misma de su propia
cinta. Alan Turing introdujo esta máquina en 1936-1937.
• Es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a
una tabla de reglas. A pesar de su simplicidad, una máquina de Turing
puede ser adaptada para simular la lógica de cualquier algoritmo de
computador y es particularmente útil en la explicación de las funciones de un
CPU dentro de un computador.
• La máquina de Turing tiene, un control finito, una cabeza lectora y una cinta
donde puede haber caracteres, y donde eventualmente viene la palabra de
entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se
extiende indefinidamente, llenándose los espacios con el carácter blanco
"𝜆". La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la
cinta que es el extremo izquierdo, la MT la cabeza lectora es de lectura y
escritura, por lo que la cinta puede ser modificada en curso de ejecución.
Además, en la MT la cabeza se mueve bidireccionalmente por lo que puede
pasar repetidas veces sobre un mismo segmento de la cinta.
Dejo video sobre la maquina de Turing:
Tomado de: https://www.youtube.com/watch?v=4V8mZqiQDgk
• Este modelo está formado 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 puede ser infinita) pertenecientes al alfabeto de
entrada.

• La máquina va leyendo una celda de la cinta en cada paso,

borrando el símbolo en el que se encuentra posicionado su cabezal y
escribiendo un nuevo Símbolo perteneciente al alfabeto de salida,
para luego desplazar el cabezal a la izquierda o a la derecha (solo
una celda a la vez). Esto se repite 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.
• Computacionalmente, un lenguaje sensible al contexto es
equivalente a una máquina de Turing no determinista
linealmente acotada, también llamado Autómata linealmente
acotado. Se trata de una máquina de Turing no determinista
con una cinta de sólo n posiciones, donde n es el tamaño de la
entrada y k es la constante asociada a la máquina. Esto
significa que cada lenguaje formal que puede ser decidido por
una máquina es un lenguaje sensible al contexto.
• Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría
de autómatas y lenguajes formales. (pp. 7-797). Recuperado
de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10498456&ppg=6
• Rosenfeld, D. (2016). Computabilidad, Complejidad
computacional y verificación de programas. (pp. 7 - 27).
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=11201616&ppg=12