AUTMATAS Y

LENGUAJES FORMALES
NANCY JOHANA P. RUIZ
CD.: 1057584201
301405-9
 CONTENIDO

Mquinas de Turing
Mquinas de Turing reconocedoras
Mquinas de Turing transductoras
Maquina universal y Turing
 MQUINAS DE TURING
Definicin
Dispositivo de reconocimientos de
lenguaje, es ms general que cualquier
autmata finito y cualquier autmata de
pila, debido a que ellas pueden
reconocer tanto los lenguajes regulares,
como los lenguajes independientes de
contexto y adems muchos otros tipos
de lenguajes.
Sptupla: (, , b, Q, qo, f, F), donde:
: alfabeto de smbolos de cinta
: alfabeto de smbolos de
entrada
b , b : smbolo blanco.
Indica que la celda est vaca.
Q: conjunto de estados (finito).
qo Q: estado inicial
F Q: conjunto de estados
finales
f: funcin de transicin,
correspondencia de
Q x Q x x {I, D, P}
 MQUINAS 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 carcter 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 ms a la izquierda de
palabra. la palabra.
Se puede desplazar a izquierda,
derecha, una celda cada vez, o no
moverse.
 MQUINAS DE TURING
PROPIEDADES
Esta formado por un alfabeto de entrada y
uno de salida, un smbolo 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 funcin de
transicin, que recibe un estado inicial y
una cadena de caracteres (la cinta, la cual
puede ser infinita) pertenecientes al
alfabeto de entrada.
La mquina tiene un
funcionamiento totalmente
mecnico y secuencial. Lo que
hace es leer el smbolo que hay
en la casilla que tiene debajo.
Despus toma el smbolo del
estado en que se encuentra. Con
estos dos datos accede a una
tabla, en la cual lee el smbolo que
debe escribir en la cinta, el nuevo
estado al que debe pasar y si
debe desplazarse a la casilla
izquierda o derecha.
MQUINAS DE TURING RECONOCEDORAS
Finalidad: decidir si la cadena es
vlida o no, segn algn criterio.

Dos conceptos: RECONOCER, ACEPTAR

Una Mquina 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 slo si w L.
Una Mquina de Turing ACEPTA un
lenguaje L si, al analizar una palabra w, se
para en un estado final si y slo si w L
MQUINAS DE TURING RECONOCEDORAS
Si la palabra no pertenece al lenguaje no
se exige a la MT que se pare.

Sptupla: (, , b, Q, qo, f, F), donde:

: alfabeto de smbolos de cinta
: alfabeto de smbolos de entrada
PROPIEDADES b , b : smbolo blanco.
o Indica que la celda est vaca.
Q: conjunto de estados (finito).
qo Q: estado inicial
F Q: conjunto de estados finales
f: funcin de transicin, correspondencia
de
Q x -> Q x x {I, D, P}
MQUINAS DE TURING TRANSDUCTORAS
Finalidad: transformar la entrada.
Realiza un clculo:

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
MQUINAS DE TURING TRANSDUCTORAS
Son las ms generales, que convierten una
secuencia de seales de entrada en una
secuencia de salida, pudiendo sta ser
binaria o ms compleja, dependiendo de la
entrada actual (no slo del estado) y CARACTERISTICAS
pudiendo tambin prescindirse de un estado
inicial.

La bibliografa a veces llama autmata finito

a las aceptoras, mientras que en otros
casos se emplea autmata como sinnimo
de mquina de estados sin importar su tipo.
MQUINAS DE TURING TRANSDUCTORAS

PROPIEDADES

Las transductoras, son importantes en la

electrnica digital y la computacin prctica. Es por
eso que, por lo general, en los textos sobre
matemtica y ciencias de la computacin se suele
hablar de autmatas (y se refieren a las aceptoras)
mientras que los de electrnica y computacin
prctica hablan de mquinas de estados (y se
refieren a los transductoras).
MAQUINA UNIVERSAL Y TURING
El dispositivo computacional ms potente: una mquina de
estados finitos con una cinta sin lmite dividida en celdas. La
cinta acta como entrada, memoria y salida.
La mquina est controlada por un programa de
instrucciones
instruccin: condicin, accin

condicin: determinada por el estado y smbolo ledo

accin: una de las operaciones bsicas (reemplazar el
smbolo por 0, reemplazar el smbolo por 1, izquierda,
derecha) y cambiar al prximo estado
Cada instruccin puede codificarse como un nmero
binario
MAQUINA UNIVERSAL Y TURING
La mquina universal es una mquina
que puede simular las operaciones de
cualquier mquina de Turing particular
CARACTERISTICAS
La mquina universal lee datos y
despus las instrucciones (codificadas
como nmeros binarios) de una mquina
de Turing particular

Las instrucciones de la mquina

universal le permiten interpretar las
instrucciones de la mquina particular y
ejecutarlas sobre los datos
 CONCLUSIONES
La mquina de Turing, es la mquina abstracta con una amplia
capacidad de cmputo que cualquier otra mquina, ubicada
dentro de los lenguajes estructurados por frases.

Todo lo que puede computarse en un ordenador digital puede

computarse en una mquina de Turing

Generalmente, el autmata a pila es no determinista en el

sentido de que se permite que haya varias acciones posibles en
cada momento.
 CIBERGRAFIA
Ecured. (0). Mquina de Turing. 0, de Ecured Sitio web: https://
www.ecured.cu/Mquina_de_Turing

Universidad de Huelva. (0). Mquinas 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). Mquinas deTuring. 0, de Universidad Carlos

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