Está en la página 1de 14

AUTOMATAS Y LENGUAJES FORMALES

ESTUDIANTE :
CARLOS ARNOLDO BURBANO
GRUPO: 37

TUTOR :
HELENA CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


CONTENIDO

MAQUINA DE TURING
MAQUINA DE TURING RECONOCEDORAS
MAQUINA DE TURING TRANSDUCTORAS
MAQUINA UNIVERSAL Y TURING
CONCLUSIONES
INTRODUCCIN

La Actividad 1 enfocada en la temtica de la Unidad 3 Lenguajes Estructurados por


Frases, fortalece los conocimientos acerca del Dispositivo de reconocimiento del
Lenguaje La Maquina de Turing, que a lo largo de la exposicin tendr relevancia: la
Definicin, Caractersticas y Propiedades.
MAQUINA DE TURING

DEFINICIN: Es un 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.

COMO FUNCIONA: Una mquina de Turing es un


dispositivo que transforma un INPUT en un OUTPUT
despus de algunos pasos. Tanto el INPUT como el OUPUT
constan de nmeros en cdigo binario (ceros y unos). En su
versin original la mquina de Turing consiste en una cinta
infinitamente larga con unos y ceros que pasa a travs de
una caja. La caja es tan fina que solo el trozo de cinta que
ocupa un bit (0 1) est en su interior. La mquina tiene
una serie de estados internos finitos que tambin se
pueden numerar en binario.
.
CARACTERSTICAS DE UNA MAQUINA DE TURING

Este modelo est 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 va leyendo una celda de la
cinta en cada paso, borrando el smbolo en
el que se encuentra posicionado su cabezal
y escribiendo un
nuevo Smbolo perteneciente al alfabeto de
salida, para luego desplazar el cabezal a la
izquierda o a la derecha (solo una celda a
la vez). Esto se repite segn se indique en
la funcin de transicin, para finalmente
detenerse en un estado final o de
aceptacin, representando as la salida.
PROPIEDADES

Sea una mquina de Turing M multicinta que


Si L es recursivamente enumerable y L posee una cinta de solo escritura (salida) cuyo
es recursivamente enumerable, cabezal no se desplaza nunca a la izquierda.
entonces L es recursivo
M escribe cadenas sobre la cinta de salida
Sean dos mquinas de Turing M1 y M2, separadas por un smbolo especial de
tales que L = L(M1) y L = L(M2). separacin #.
Dados un lenguaje L y su contenido de la cinta de salida: x1#x2# . . .
complementario L, nicamente pueden #xn# . . . donde
darse las siguientes situaciones:
xi
Tanto L como L son recursivos
Lenguaje generado por M: G(M) = {x1#x2# . .
El lenguaje L es recursivamente . #xn# . . .}
enumerable (no recursivo)
Notese que L = G(M) es finito a no ser que M
y L no es recursivamente enumerable no pare nunca
Los lenguajes L y L no son Todo lenguaje recursivo puede ser generado
recursivamente enumerables por una mquina de Turing en orden
lexicogrfico
MAQUINA DE TURING COMO RECONOCEDORAS

De cadenas de smbolos
Alcanza con identificar los estados que
se consideran finales (aceptadores). Se
dice que una mquina de Turing M
acepta un string w
M se detiene en un
estado final.
Reconoce cadenas de 1 y el string vaco,
cuando contiene smbolo de B
Reconoce cadenas de la forma
MAQUINA DE TURING COMO RECONOCEDORAS

Para el estudio de la computabilidad


podemos quedarnos con las mquinas
Reconocedoras sin perder generalidad
intuitivamente
MT que acta como RECONOCEDOR:
MT capaz de RECONOCER o ACEPTAR un
lenguaje L. Una MT RECONOCE un
lenguaje L, si dada una entrada (w) en la
cinta, la MT SIEMPRE se para, y lo hace en
un EF si y slo si: w L Una MT ACEPTA
un lenguaje L, si dada una entrada (w) en
la cinta, la MT se para en un Estado Final
si y slo si: w L As, en este caso, si w
L , la MT podra no parar.
Ejs: MT que reconoce el lenguaje a*b*,
MT que acepta el lenguaje anbncn
MAQUINA DE TURING COMO TRASDUCTORES

MT que acta como TRANSDUCTOR:


Podemos considerar que una mquina Modifica el contenido de la cinta realizando
de Turing computa una determinada cierta funcin.
funcin sobre una cadena (o un
conjunto de ellas) en lugar de Ejs: MT que sustituye los dgitos por cero, MT
computarla sobre un conjunto de que aade un bit de paridad a la entrada, MT
Enteros que duplica el nmero de 1s que hay en la
cinta
En este caso hablamos de transduccin
Si la Entrada est bien formada: debe
ejemplos sencillos son: terminar en un Estado Final. Si la Entrada
Dividir una palabra en dos No est bien formada: debe terminar en un
Estado No Final.
Aplicar un homomorfismo
Desplazar (rotar) los simbolos un
nmero de veces a derecha o izquierda
Modifica el contenido de la cinta
realizando cierta funcin
MAQUINA UNIVERSAL MTU

MT Universal (MTU)
MT capaz de simular el comportamiento
de cualquier MT.
Una MTU contiene en su cinta:
1. La descripcin de otra MT,
2. El contenido de la cinta de dicha MT, y
produce el como resultado de su
ejecucin, el mismo resultado que
producira la MT sobre su cinta.
La Mquina de Turing Universal (UTM) es
una mquina de Turing que es capaz de
simular cualquier mquina de Turing
(descrita en codificacin cannica) sobre
cualquier cadena de entrada
MAQUINA UNIVERSAL MTU

Para construir una UTM vamos a El funcionamiento de la UTM es el


considerar un alfabeto de 20 smbolos, siguiente: 1. Para indicar la posicin del
los utilizados en la representacin cabezal de la mquina simulada se utiliza
cannica con marca o sin marca: = { , una marca sobre el smbolo
[, ], #, 0, 1, , R, L } { , [, ], #, 0,
1, , R, L } correspondiente de w. 2. Para indicar el
estado en que se encuentra la mquina
Para simular una mquina de Turing simulada se utiliza una marca sobre el
(TM) sobre una cierta entrada (w) smbolo [ de comienzo de sus transiciones.
consideraremos que el contenido inicial
3. En cada paso de simulacin de la
de la cinta ser un smbolo , seguido
de la codificacin cannica de TM y a mquina TM hay que identificar el smbolo
continuacin la cadena w. sobre el que se encuentra el cabezal
(haciendo un recorrido buscando 0, 1 o
). 4. Hay que desplazarse hacia la izquierda
buscando el smbolo [ de comienzo del
estado actual de TM. 5. Una vez
seleccionado el comienzo del estado, se
busca la transicin correspondiente al
smbolo del cabezal (primer <.
MAQUINA UNIVERSAL MTU Y FUNCIONAMIENTO

Para ejecutar la transicin se lee la Cada vez que nos encontremos un 1 hay
accin asociada (0,1, ,R,L) y se que marcarlo, desplazarse a la izquierda
desplaza a la derecha buscando el buscando [, desmarcarlo, desplazarse a la
cabezal de TM para ejecutar la accin: derecha buscando [, marcarlo, desplazarse
escribir 0, escribir 1, escribir ,
desmarcar el smbolo y marcar el de la a la derecha buscando 1, desmarcarlo y
derecha o desmarcar el smbolo y desplazarse una celda a la derecha.
marcar el de la izquierda El siguiente
paso es colocar TM en el estado Cuando encontremos el smbolo >
resultado de la transicin. Se desplaza a habremos dejado marcado con [ el
la izquierda buscando el smbolo comienzo del estado actual de TM y
entonces se trata de una transicin al podremos desplazarnos a la derecha
estado de parada de TM, por lo que hay buscando el smbolo marcado que indica la
que saltar al estado de parada de UTM. posicin del cabezal de TM, volviendo al
Si el siguiente de # es el smbolo 1 se
trata del comienzo de un estado. Se punto 3 de este algoritmo.
marca 1, desplazarse al comienzo de la
representacin cannica, marcar el [ y
volver al smbolo 1, desmarcarlo y
desplazarse a la derecha.
CONCLUSIONES

La Mquina de Turing un grandioso invento que formaliz al hombre a continuar con la


tecnologa actual y sus avances que contribuyen al conocimiento

Una caracterstica principal dentro del estudio de La Mquina de Turing es que este
dispositivo permite admitir lenguajes entendibles por el dispositivo de reconocimiento

La clasificacin de las mquinas de Turing es til en todos los mbitos cientficos,


laborales y de investigacin

Las Maquinas de Turing Reconocedoras, Transductoras y la Universal identifican la


complejidad de su funcionamiento en su construccin matemtica como lo afirman sus
autores que con el tiempo satisfacen la creacin de la ciencia computable
BIBLIOGRAFA

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoria de
lenguajes, gramaticas y autmatas para informaticos. [Alicante]: Digitalia

Carrasco, Rafael C., et al. Teoria De Lenguajes, Gramaticas Y Autmatas Para


Informaticos. Digitalia, 2000. Textos docentes. EBSCOhost.

https://www.ecured.cu/M%C3%A1quina_de_Turing

http://www.buap.mx/portal_pprd/work/sites/escritos/resources/LocalContent/14/2
/01 %20cesar_gonzalez.pdf

Downloads/Tema7_UC3M_TALF-SANCHIS-LEDEZMA-IGLESIAS-JIMENEZ-
ALONSO.pdf
http://www.uhu.es/francisco.moreno/gii_mac/docs/Tema_4.pdf