AUTÓMATAS Y LENGUAJES

FORMALES
VICTOR ALFONSO OROZCO

301405_57
 CONTENIDO

• Máquinas de Turing
• Máquinas de Turing reconocedoras
• Máquinas de Turing transductoras
• Maquina universal y Turing
 MÁQUINAS DE TURING
Definición
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.
Séptupla: (Σ, Γ, b, Q, qo, f, F), donde:
•Γ: alfabeto de símbolos de cinta
•Σ ⊂ Γ: alfabeto de símbolos de
entrada
•b ∈ Γ, b ∉ Σ: símbolo blanco.
• Indica que la celda está vacía.
• Q: conjunto de estados (finito).
• qo ∈ Q: estado inicial
• F ⊂ Q: conjunto de estados
finales
• f: función de transición,
correspondencia de
Q x ΓàQ x Γ x {I, D, P}
 MÁQUINAS DE TURING
CARACTERISTICAS
La cinta es unidimensional e infinita por
ambos lados. Inicialmente:

•La cinta contiene la palabra, y el

• Cinta infinita.
resto de elementos de la cinta (a
• Puede contener un carácter por celda.
izquierda y derecha de la palabra)
• Se puede leer de ella. son el espacio en blanco (b).
• Se puede escribir en ella. •Al principio la cabecera de
• Inicialmente se considera con infinitos lectura/escritura está situada sobre
blancos a la derecha e izquierda de la el elemento más a la izquierda de
palabra. la palabra.
• Se puede desplazar a izquierda,
derecha, una celda cada vez, o no
moverse.
 MÁQUINAS DE TURING
PROPIEDADES
Esta 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 tiene un
funcionamiento totalmente
mecánico y secuencial. Lo que
hace es leer el símbolo que hay
en la casilla que tiene debajo.
Después toma el símbolo del
estado en que se encuentra. Con
estos dos datos accede a una
tabla, en la cual lee el símbolo que
debe escribir en la cinta, el nuevo
estado al que debe pasar y si
debe desplazarse a la casilla
izquierda o derecha.
MÁQUINAS DE TURING RECONOCEDORAS
Finalidad: decidir si la cadena es
válida o no, según algún criterio.

Dos conceptos: RECONOCER, ACEPTAR

Una Máquina de Turing RECONOCE un

lenguaje L, si para cualquier entrada en la
cinta, w, se acaba parando, y lo hace en un
estado final si y sólo si w ∈ L.
Una Máquina de Turing ACEPTA un
lenguaje L si, al analizar una palabra w, se
para en un estado final si y sólo si w ∈ L
MÁQUINAS DE TURING RECONOCEDORAS
Si la palabra no pertenece al lenguaje no
se exige a la MT que se pare.

Séptupla: (Σ, Γ, b, Q, qo, f, F), donde:

• Γ: alfabeto de símbolos de cinta
• Σ ⊂ Γ: alfabeto de símbolos de entrada
PROPIEDADES • b ∈ Γ, b ∉ Σ: símbolo blanco.
o Indica que la celda está vacía.
• Q: conjunto de estados (finito).
• qo ∈ Q: estado inicial
• F ⊂ Q: conjunto de estados finales
• f: función de transición, correspondencia
de
Q x Γ -> Q x Γ x {I, D, P}
MÁQUINAS DE TURING TRANSDUCTORAS
Finalidad: transformar la entrada.
Realiza un cálculo:

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.
Debe acabar en estado no final para
indicar el error en la entrada
MÁQUINAS DE TURING TRANSDUCTORAS
Son las más generales, que convierten una
secuencia de señales de entrada en una
secuencia de salida, pudiendo ésta ser
binaria o más compleja, dependiendo de la
entrada actual (no sólo del estado) y CARACTERISTICAS
pudiendo también prescindirse de un estado
inicial.

La bibliografía a veces llama autómata finito

a las aceptoras, mientras que en otros casos
se emplea autómata como sinónimo de
máquina de estados sin importar su tipo.
MÁQUINAS DE TURING TRANSDUCTORAS
PROPIEDADES

Las transductoras, son importantes en la

electrónica digital y la computación práctica. Es por
eso que, por lo general, en los textos sobre
matemática y ciencias de la computación se suele
hablar de autómatas (y se refieren a las aceptoras)
mientras que los de electrónica y computación
práctica hablan de máquinas de estados (y se
refieren a los transductoras).
MAQUINA UNIVERSAL Y TURING
•El dispositivo computacional más potente: una máquina de
estados finitos con una cinta sin límite dividida en celdas. La
cinta actúa como entrada, memoria y salida.
•La máquina está controlada por un programa de
instrucciones
•instrucción: condición, acción

• condición: determinada por el estado y símbolo leído

• acción: una de las operaciones básicas (reemplazar el
símbolo por 0, reemplazar el símbolo por 1, izquierda,
derecha) y cambiar al próximo estado
• Cada instrucción puede codificarse como un número
binario
MAQUINA UNIVERSAL Y TURING
• La máquina universal es una máquina
que puede simular las operaciones de
cualquier máquina de Turing particular
CARACTERISTICAS
• La máquina universal lee datos y
después las instrucciones (codificadas
como números binarios) de una máquina
de Turing particular

• Las instrucciones de la máquina

universal le permiten interpretar las
instrucciones de la máquina particular y
ejecutarlas sobre los datos
 CONCLUSIONES
 La máquina de Turing, es la máquina abstracta con una amplia capacidad de
cómputo que cualquier otra máquina, ubicada dentro de los lenguajes
estructurados por frases.

 Todo lo que puede computarse en un ordenador digital puede computarse en

una máquina de Turing

 Generalmente, el autómata a pila es no determinista en el sentido de que se

permite que haya varias acciones posibles en cada momento.
 BIOGRAFIA
• Ecured. (0). Máquina de Turing. 0, de Ecured Sitio web:
https://www.ecured.cu/Máquina_de_Turing

• Universidad de Huelva. (0). Máquinas de Turing. 0, de Universidad de Huelva Sitio

web: http://www.uhu.es/francisco.moreno/gii_mac/docs/Tema_4.pdf
• G

• Araceli Sanchis deMiguel . (0). Máquinas deTuring. 0, de Universidad Carlos

lll de Madrid Sitio web: http://ocw.uc3m.es/ingenieria-informatica/teoria-de-
automatas-y-lenguajes-formales/material-de-clase-1/tema-7-maquinas-de-
turing