You are on page 1of 14

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
Sptupla: (, , b, Q, qo, f, F), donde:
: alfabeto de smbolos de cinta
Definicin : alfabeto de smbolos de
entrada
b , b : smbolo blanco.
Dispositivo de reconocimientos de Indica que la celda est vaca.
lenguaje, es ms general que cualquier Q: conjunto de estados (finito).
autmata finito y cualquier autmata de qo Q: estado inicial
pila, debido a que ellas pueden F Q: conjunto de estados
reconocer tanto los lenguajes regulares, finales
como los lenguajes independientes de f: funcin de transicin,
contexto y adems muchos otros tipos correspondencia de
de lenguajes. 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
La mquina tiene un
Esta formado por un alfabeto de entrada y funcionamiento totalmente
uno de salida, un smbolo especial llamado mecnico y secuencial. Lo que
blanco (normalmente b, o 0), un conjunto hace es leer el smbolo que hay
de estados finitos y un conjunto de en la casilla que tiene debajo.
transiciones entre dichos estados. Su Despus toma el smbolo del
funcionamiento se basa en una funcin de estado en que se encuentra. Con
transicin, que recibe un estado inicial y estos dos datos accede a una
una cadena de caracteres (la cinta, la cual tabla, en la cual lee el smbolo que
puede ser infinita) pertenecientes al debe escribir en la cinta, el nuevo
alfabeto de entrada. 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