Autmatas y Lenguajes Formales

Fase 4

Entregado por:
Gonzalo Valencia Cdigo: 1109382993

Presentado a: Luis Ernesto Bonilla

Universidad Nacional Abierta y a Distancia

Ingeniera de Sistemas
Noviembre de 2017
Mquinas de Turing
Una mquina de Turing es un modelo computacional que realiza
una lectura/escritura de manera automtica sobre una entrada llamada
cinta, generando una salida en esta misma.
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.
Caractersticas y Propiedades
La mquina de Turing consta de un cabezal lector/escritor y una cinta
infinita
Las mquinas de Turing pueden representarse
mediante grafos particulares, tambin llamados diagramas de estados
finitos
est formada por un alfabeto de entrada y uno de salida, un smbolo
especial llamado blanco (normalmente b, o 0)
La cinta se supone infinita por ambos lados.
Inicialmente la cinta contiene un nmero finito de smbolos
consecutivos (de ) precedidos y seguidos por el smbolo b (o ).
La cabecera de L/E est situada inicialmente sobre el elemento
ms a la izquierda de la palabra.
Toda MT se representa por una tabla de transicin (como el resto
de Autmatas). Si la transicin No es posible La MT se detiene.
Mquinas de Turing Reconocedoras
Una maquina de Turing reconocedora de cadenas es una Maquina de Turing
calculadora de la funcin caracterstica del lenguaje que reconoce: es una
funcin que asocia el valor 1 a las cadenas que pertenecen al lenguaje y 0 a
las cadenas que no pertenecen al lenguaje. Cualquier Maquina de Turing
calculadora de funciones es una Maquina de Turing reconocedora de
lenguajes, ya que se puede representar cada funcin por el lenguaje
formado por las tuplas que se pueden formar con sus parmetros de entrada
y de salida.
Caractersticas y Propiedades
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.

Ejemplos:
MT que reconoce el lenguaje a*b*
MT que acepta el lenguaje
Mquinas de Turing Transductoras
Una derivacin de los Autmatas son la Mquinas de Estados Finitos
Transductoras, la diferencia es que las Transductoras nos entregan como
resultado un conjunto de smbolos que pertenecen al lenguaje, las
aceptadoras nos indican si un conjunto de smbolos pertenece o no al
lenguaje. La diferencia radica en cambiar el conjunto de estados finales por
algn tipo de funcin que nos arroje valores.
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 pudiendo tambin
prescindirse de un estado inicial.
Caractersticas y Propiedades
Mquina de Moore Se define como la 6-tupla {Q, , S, , , q0} donde:
Q: Es el conjunto finito de estados.
: Es el alfabeto de entrada.
S: Es el alfabeto de salida.
: Funcin de transicin Q Q. : Funcin de Q a S, dado q nos arroja una s donde s S y q
Q.
q0: Estado inicial.

Mquina de Mealy Tambin se define como una 6-tupla {Q, , S, , , q0} donde:
Q: Es el conjunto finito de estados.
: Es el alfabeto de entrada.
S: Es el alfabeto de salida.
: Funcin de transicin Q Q.
: Funcin de salida Q S, (qi , a) s donde s S, q Q y a .
q0: Estado inicial.
Maquina universal y Turing
MU) Maquina de Turing con una sola cinta, limitada a la izquierda, y con
alfabeto {0, 1, B} que acepta el lenguaje LU
Una Maquina Universal de Turing recibe como cadena de entrada el cdigo
de una Maquina de Turing y la cadena con la que esta trabajara; un
computador de propsito general recibe como cadena de entrada el cdigo
de un programa y los datos con los que el programa trabaja.
Caractersticas y Propiedades
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.
Referencias Bibliogrficas

Escuela Superior de Cmputo, Mquinas de Estados Finitos

http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer
_Research_files/maquinasef.pdf
Wikipedia, Mquinas de Estados
https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados
Universidad Carlos III de Madrid, Mquinas de Turing
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-
lenguajes-formales/material-de-clase-1/tema-7-maquinas-de-turing