AUTOMATAS Y LENGUAJES FORMALES

FASE 4

PRESENTADO A:

TUTOR: LUIS ERNESTO BONILLA

POR: THAYLOR MOSQUERA CASTRO

CODIGO: 71257231

GRUPO No. 301405_41

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

PROGRAMA DE INGENIERIA DE SISTEMAS

CEAD TURBO
ABRIL 2018.
 CONTENIDO

Máquinas de Turing
Máquinas de Turing reconocedoras
Máquinas de Turing transductoras
Maquina universal y Turing
 MÁQUINAS DE TURING
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.

• Cinta infinita.
• Puede contener un carácter por celda.
• Se puede leer de ella.
• Se puede escribir en ella.
• Inicialmente se considera con infinitos blancos a la derecha e izquierda de la palabra.
• Se puede desplazar a izquierda, derecha, una celda cada vez, o no moverse.

Inicialmente:

• La cinta contiene la palabra, y el resto de elementos de la cinta (a

izquierda y derecha de la palabra) son el espacio en blanco (b).
• Al principio la cabecera de lectura/escritura está situada sobre el
elemento más a la izquierda de la palabra.
 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
PROPIEDADES

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
• 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
CARACTERISTICAS

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 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
CARACTERISTICAS
• La máquina universal es una máquina que puede simular las operaciones de
cualquier máquina de Turing particular

• 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.
 CIBERGRAFIA
• 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

• 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