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.
2. CONTENIDO
• Máquinas de Turing
• Máquinas de Turing reconocedoras
• Máquinas de Turing transductoras
• Maquina universal y Turing
3. 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}
4. 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.
5. MÁQUINAS DE TURING
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.
PROPIEDADES
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.
6. 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
7. 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
• 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}
PROPIEDADES
8. 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
9. 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.
10. 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).
11. 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
12. 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
13. 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.
14. 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
• 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