Trabajo Colaborativo No.

3
Maquinas De turing

Unidad No.3

Integrantes:
Danny Alejandro Fernandez Gallego
CC:1.116.258.606

Tutor:
Magda Lorena Zuiga

Melgar, Tolima 26 de Noviembre de 2016

Universidad Nacional Abierta y/a Distancia UNAD

Escuela de Ciencias Bsicas Tecnologas e Ingenieras
Ingeniera de Sistemas
Cead Girardot

INTRODUCCIN

Las maquinas de turing son Modelos abstractos Representados por una Cinta
infinita y un cabezal que puede escribir Cuantos smbolos se requieran sobre la cinta
ya que contiene una memoria auxiliar representada por el smbolo omega, para
Llegar a este trabajo tenamos que haber estudiado Temas como el Autmata
Linealmente Acotado y el Autmata Bidimensional ya que de aqu a estos vemos
Como un autmata finito puede iniciar a expandirse agregndole, una cinta
infinita(Sin lmites) y un cabezal que recorra en cualquier direccin, sin embargo
podemos afirmar que en la Jerarqua de Maquinas podemos ver que dentro de lo
computable encontramos en la categora Mxima la mquina de turing, ya que turing
Infiri Lo computable y lo no computable.
En este trabajo Colaborativo No.3 vamos a ver la forma en la que se comporta una
Maquina de Turing Como transductor, que elementos ingresa (Input) y que
elementos devuelve (Output).

DESARROLLO TEMATICO.

Actividades a desarrollar:

Disee Una MT que se comporte como transductor que reconozca el lenguaje

L={01u11*} (NO incluye o NO acepta la cadena ). La transduccin (salida) debe
ser que por cada smbolo que entre duplique el smbolo del alfabeto de la cinta, para
el alfabeto 0 la cinta ser a y para el alfabeto 1 el valor en la cinta ser b: Ejemplo:
para la cadena (11) la salida ser (aaaa), para la cadena 01 la salida ser: (aabb)
El alfabeto de la cinta es debe ser diferente al alfabeto de entrada. Es decir el
alfabeto de entrada es 0 y el de la cinta a, y para la entrada 1 el de la cinta b
con sus respectivos smbolos blanco si es que los necesita en su diseo.

Disee una MT que comporte como un transductor, es decir que genera una
salida en la cinta: El comportamiento de la mquina debe permitir que dada
una palabra de entrada (en formato binario), esta sea sustituida en la salda
pro smbolos intercambiados (Es decir, que sustituya los 0s por 1s y los 1s
por 0s).
1. Identifique los componentes de la Mquina de Turing (descrbala).
En la Maquina de Turing M es un sptuplo M = (Q, , , , qs, , F), donde
Q es el conjunto de estados internos
{qi | i es un entero no negativo}
es el alfabeto de entrada
es el conjunto finito de smbolos en el alfabeto de la cinta
es la funcin de transicin
S es Q * n subconjunto de Q * n * {L, S, R} n
es el smbolo en blanco o vaco.
qs (es miembro del Q) es el estado inicial
F (es un subconjunto de Q) es el conjunto de estados finales.
={0,1}
Q={q0, q1, q2, q3}
Con las transiciones que se pueden ver, su estado inicial es q 0 y el estado
final es q2.

Estado

Smbolo ledo
1
0
0
1

Simbolo escrito
0
1
0
1

Movimiento
R
R
L
L

Estado Siguiente

2. Que significa el comportamiento de una mquina de Turing como

transductor. Asocie lo que interprete con el diseo que realiza (evale
si es transductor o no y por qu).
El comportamiento como transductor en una mquina de Turing significa que
genera una salida en la cinta, segn el ejercicio realizado es transductor
porque se exige que termine en un estado final.

3. Disela en un Diagrama de Moore.

4. Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.

5. Identifique una cadena que no sea vlida y justifquela porque.

(recorriendo cinta y datos de entrada).

Las cadenas binarias (0 y 1) son aceptadas si y solo si se mantienen en ese

rango al introducir un numero diferente a 0 o 1 es rechazada.

6. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de

imagen que le genera
JFLAP asociada a cada transicin para el trabajo). El RunTest iplica
identificar cada iteraccin en la que se muestre el carcter ledo, e
contenido de la cinta, lo que falta por leer.

7. Identifique en que momento la mquina se detiene.

La mquina se detiene en el momento de que no encuentre ms 0 o 1. Sea

cual sea la configuracin inicial de la cinta de 0 o 1.

SEGUNDO EJERCICIO: DISEO DE UN TRANSDUCTOR

No necesariamente un Transductor tiene que ser una MT.

Actividades a desarrollar: Disee un Transductor (MAQUINA DE MEALY) que

realice la misma transduccin del ejercicio anterior.

1. Identifique los componentes de la Mquina (descrbala).

Podemos Definir una Maquina de Mealy como una 6-Tupla As:

(, 0, , , T, G)

S= Conjunto Infinito Llamado Alfabeto de Entrada

S0=Estado Inicial
= Conjunto finito, Alfabeto de Salida

= Es la Funcin de Transicin (T: S S) una funcin de salida (G: S

)

2. Disela en diagrama (Mquina de Mealy)

3. Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.
Intentemos Hacer un recorrido con la Siguiente Cadena: aabb

1. Analicemos a : 1 En la segunda entrada est interpretando de forma Correcta en la

entrada del transductor
2. Analicemos aa : 11 En la Tercera entrada est interpretando de forma Correcta en
la entrada del transductor
3. Analicemos aab : 112 En la Cuarta entrada est interpretando de forma Correcta
en la entrada del transductor
4. Analicemos aabb : 1121 En la Quinta entrada est interpretando de forma Correcta
en la entrada del transductor
En la Cinta
CINTA

PASO A PASO

EXPLICACIN

4. Identifique una cadena que no sea vlida y justifquela porque

La mquina no puede Interpretarlo Todo porque Bsicamente no Recibe, Ni

maysculas ni otro tipo de smbolos la maquina suele Detenerse y no responde.

Cuando se inserta un smbolo Extrao la maquina se Detiene donde Se inserta l

nmero que no reconoce la mquina de Mealy.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres
smbolos

Tenemos la Salida 11, Cuando Ingresamos Las dos letras aa, cuando intentamos
Ejecutar las dos letras ella solo funciona En q0 y all mismo se detiene.

6. Identifique en que momento la mquina se detiene.

Cuando La mquina entra en funcionamiento se detiene en alguno de estos Casos:
1. Cuando entra en un Estado de Aceptacin.
2. Cuando Ingresa a un estado De repeticin o Estrella de Kleene
3. Cuando Se ingresa cualquier elemento Extrao dentro de la mquina.
7. Explique cinco caractersticas de la Mquina de Mealy y encuentre
cinco diferencias con las Mquinas de Turing (MT).

CARACTERSTICAS DE LAS
MQUINAS DE MEALY:

DIFERENCIAS ENTRE LAS MQUINAS

DE TURING Y MEALY

No es un modelo muy estable; debido

a su configuracin y comportamiento
no es tan estable como las mquinas
de Moore.

Las mquinas de Turing utilizan una

misma cinta para leer y escribir. Las
mquinas de Mealy utilizan una cinta de
entrada y otra para la salida.

Su salida depende del estado actual y la

entrada; para validar la salida la mquina
de Mealy depende exclusivamente del
estado donde se encuentra y su entrada.

Las mquinas de Turing pueden

cambiar el sentido de la cinta
(izquierda o derecha). Las mquinas
de Mealy estrictamente proceden
hacia la derecha.
En la mayora de los casos tiene un
La mquina de Mealy lee la entrada
nmero menor de estados comparada con completa y dependiendo si es
la mquina de Moore; El nmero de
aceptada o rechazada avanza. Por el
estados de una mquina de Mealy es
contrario la mquina de Turing se
menor o igual que su homloga mquina
puede detener en cualquier celda de la
de Moore.
cinta.
La mquina de Mealy se define por
La mquina de Mealy es una mquina
una sxtupla conformada por; El
de estados finita, mientras que la
conjunto finito del alfabeto de entrada, mquina de Turing tericamente se
el conjunto finito del alfabeto de salida, comporta como una mquina de
el conjunto finito de estados, el estado estados infinitos al poseer
inicial (hace parte del conjunto finito de tericamente una cinta infinita.
estados), funcin de transicin y
funcin de salida.
El diagrama de estados se encuentra
La mquina de Turing se define en
determinado por la transicin y la
trminos de quntuplas, mientras que
salida. En estas se representan los
las mquinas de Mealy se define en
cambios que ocurren al cambiar el
trminos de sxtuplas.
estado y su respuesta reflejada en la
salida.

BIBLIOGRAFIA

[1] TEORIA DE AUTOMATAS Y LENGUAJES FORMALES - 2012

GIRO,VASQUES,MELONI,CONSTABLE.