MAQUINA DE

TURING
 INTRODUCCION?
La máquina de turing, presentada por Alan turing en 1936 en Nn
Computable Numbers, with an Application to the Entscheidungs
Problems, es el modelo matemático de un dispositivo que se comporta
como un autómata finito y que dispone de una cinta de longitud infinita
en la que se pueden leer, escribir o borrar símbolos. existen otras
versiones con varias cintas, deterministas o no, etc., pero todas son
equivalentes respecto a los lenguajes que aceptan.
 QUIEN FUE ALAN TURING?
Fue un brillante matemático, criptoanalista e informático teórico
nacido el veintitrés de junio de 1912 en Wilmslow, Cheshire.
Es considerado uno de los padres de la ciencia de la computación y
precursor de la informática moderna. Proporcionó una influyente
formalización de los conceptos de algoritmo y computación: la
máquina de Turing. Formuló su propia versión que hoy es
ampliamente aceptada como la tesis de Church-Turing (1936).
Murió el 7 de junio de 1954
 DEFINICIÓN
LLAMAMOS MÁQUINA DE TURING (Ó MT) A
𝑀 = (𝑄, Σ, 𝜏, 𝛿, 𝑞𝑜 , 𝐵, 𝐹)
DONDE
𝑄 es el conjunto finito de estados que denotaremos por 𝑞𝑜 , 𝑞1 , 𝑞2 … .
Σ es el alfabeto: el conjunto finito de símbolos de entrada (IMPUT)
𝜏 es el conjunto de símbolos de cinta, el alfabeto es un subconjunto de τ
𝑞𝑜 es el estado inicial: el estado en el que se encuentra inicialmente la MT
𝐵 es un elemento de Σ : el símbolo en blanco. se encuentra en todas las casillas de la cinta que no
tienen un símbolo de entrada.
F es el conjunto de estados finales.
𝛿 es la función de transiciones
La expresión
𝜹 𝒒, 𝑿 = (𝒑, 𝒀, 𝑫)
Indica que en el estado q, si la cabeza de la MT señala al símbolo de cinta X, entonces la MT
escribe el símbolo de cinta Y en la casilla actual (cambia X por Y ) y mueve la cabeza una
casilla hacia D (D puede ser derecha, R ; o izquierda, L) y pasa al estado P.
La cinta de la MT está formada por infinitas casillas.
Inicialmente, la palabra de entrada (una concatenación de símbolos del alfabeto) se encuentra
escrita en casillas consecutivas de la cinta y la cabeza señala al primer símbolo de la palabra.
todas las otras casillas (hacia la izquierda y la derecha) contienen el símbolo en blanco.
Formalmente una maquina de turing es:

Σ, 𝜏, 𝑄, 𝛿
Se define como:
𝛿: 𝑄 × 𝜏 ⟶ 𝜏 × 𝐿, 𝑅 × 𝑄

Esto quiere decir que si tu maquina esta en estado cualquiera lees en la cinta lo que tu
quieras entonces haz escribir un nuevo símbolo tal que lo elijas a la derecha y que pase a
estado q.
 LENGUAJE RECURSIVO

Sea L el lenguaje de una máquina de turing m, es decir, L = L(M), y además,

• Si w es una palabra de L, entonces m se para (y alcanza un estado de aceptación)
• Si w no es una palabra de L, entonces M se para (pero no alcanza un estado de
aceptación)
Entonces se dice que l es un lenguaje recursivo.
 IMPORTANCIA

• MODELO TEÓRICO
• MAQUINA SIMPLE, SENCILLA Y PRECISA
• GENERALIDAD
• DETERMINAR CARACTERÍSTICAS DE LOS PROBLEMAS
Decididible (existe un algoritmo)
tratable(existe un algoritmo rápido)
EJEMPLOS
 TEOREMAS SOBRE MAQUINAS DE
TURING
• TEOREMA 1
TODO LENGUAJE ACEPTADO POR UNA MÁQUINA DE TURING DE
VARIAS CINTAS ES RECURSIVAMENTE ENUMERABLE.
• TEOREMA 2
SEA L = L(M) EL LENGUAJE QUE ACEPTA UNA MÁQUINA DE
TURING NO DETERMINISTA M, ENTONCES EXISTE UNA
MÁQUINA DE TURING DETERMINISTA N QUE ACEPTA DICHO
LENGUAJE, ES DECIR, L(M) =L(N).
 LENGUAJES DE MÁQUINAS DE TURING Y DE
AUTÓMATAS
• TEOREMA 1
SEA L EL LENGUAJE ACEPTADO POR UNA MÁQUINA DE TURING,
ENTONCES EXISTE ALGÚN AUTÓMATA DE DOS PILAS QUE
ACEPTA L.
• TEOREMA 2
TODO LENGUAJE RECURSIVAMENTE ENUMERABLE ES ACEPTADO
POR ALGUNA MÁQUINA DE TRES CONTADORES.
• TEOREMA 3
TODO LENGUAJE RECURSIVAMENTE ENUMERABLE ES ACEPTADO
POR ALGUNA MÁQUINA DE DOS CONTADORES.
 CALCULO LAMBDA
• El cálculo lambda es un sistema formal diseñado para investigar la definición de
función, la noción de aplicación de funciones y la recursión. fue introducido por
Alonzo Church y Stephen Kleene en la década de 1930; Church usó el cálculo lambda
en 1936 para resolver el Entscheidungsproblem. puede ser usado para definir de
manera limpia y precisa qué es una "función computable".
• El cálculo lambda es universal porque cualquier función computable puede ser
expresada y evaluada a través de él. por lo tanto, es equivalente a las máquinas de
turing. Sin embargo, el cálculo lambda no hace énfasis en el uso de reglas de
transformación y no considera las máquinas reales que pueden implementarlo. se
trata de una propuesta más cercana al software que al hardware.
 HISTORIA

Originalmente, Church había tratado de construir un sistema formal

completo para modelizar la matemática;1 pero en 1934 Kleene and
Rosser publicaron una implementación de la paradoja de richard.2
desde ese punto, el cálculo lambda fue usado para estudiar la
computabilidad, culminando en la respuesta negativa al problema de la
parada. en 1940, Church introdujo el cálculo lambda simplemente tipado
que es computacionalmente menos poderoso, pero lógicamente
consistente