AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO NO. 3

ELABORADO POR:

CARLOS ANDRES GUTIERREZ COD. 6.391.734

Carandgut1981@hotmail.com
WILMER ANDRES ZURATA
wilzeta40@hotmail.com
ANDREA YAZMIN MARTINEZ
andrem18@hotmail.com.ar
ANDRES FELIPE CHAPUESGAL

TUTOR DEL CURSO:

MAGDA LORENA ZUIGA

GRUPO:
301405_33

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E EINGENIERIA, ECBTI
PROGRAMA DE INGENIERIA DE SISTEMAS
CEAD PALMIRA
NOVIEMBRE DE 2016
1. 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

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

En la Maquina de Turing M es un sptuplo M = (Q, , , , s, , F), donde:

Q Es el conjunto finito de estados {q0, q1, q2, q3, q4, q5, q6}.

Es el alfabeto de entrada, {0,1}

Es el alfabeto de la cinta, {a, b}

q 0 Es el estado inicial, q 0 Q

Es el smbolo en blanco,

F Es el conjunto de estados finales, FQ {q6}

Es la funcin de transicin
 2. Disela en un Diagrama de Moore.

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

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

Se recorrer la mquina con la cadena de entrada 01 se plasma en la cinta, a la

izquierda y derecha de la cadena de entrada se ubican smbolos vacos. Al iniciar,
el cabezal se encuentra en la posicin de inicio, la cinta leer el primer smbolo de
la cadena de entrada (0)

0 1

Lee el primer smbolo de entrada (0)

La funcin de transicin indica ( q0 , 0 )=(q 1 , a , L) , es decir, que si en la posicin

ingresa (o se lee) un smbolo 0, se debe escribir o reemplazar por el smbolo a,

cambia a ( q1 ) y se desplaza a la izquierda en la cinta:

a 1

Lee la entrada vaca ( )

Al leer la entrada vaca la funcin de transicin indica que ( q1 , )=(q2 , a , R) , es

decir que en la posicin q1 se lee el vaco ( ) y se remplaza por el smbolo

a, cambia al estado q 2 y se desplaza a la derecha de la cinta

a a 1

Lee el siguiente smbolo de entrada (a)

Al leer el siguiente smbolo de entrada (a), la funcin de transicin indica que
( q2 , a )=(q 3 , 1, R) , es decir que si en la posicin q 2 se lee un smbolo (a) se

debe remplazar por el smbolo a, se desplaza q3 y se desplaza a la derecha de

la cinta

a a 1

Lee el siguiente smbolo de entrada ( 1 )

Al leer el siguiente smbolo de entrada (1), la funcin de transicin indica que

( q3 ,1 ) =( q3 ,1, R) , es decir que si en la posicin q3 se lee un smbolo (1) se

debe remplazar por el smbolo 1, se permanece en la misma posicin q3 y se

desplaza a la derecha de la cinta

a a 1

Lee el siguiente smbolo de entrada (

Al leer el siguiente smbolo de entrada ( ), la funcin de transicin indica que
( q3 , )=(q 4 ,1, L) , es decir que si en la posicin q3 se lee un smbolo ( )

se debe remplazar por el smbolo , se desplaza a q 4 y se desplaza a la

izquierda de la cinta

a a 1

Lee el siguiente smbolo de entrada ( 1 )

Al leer el siguiente smbolo de entrada ( 1 ), la funcin de transicin indica que

( q4 1 )=(q 5 ,b , R) , es decir que si en la posicin q4 se lee un smbolo ( 1 )

se debe remplazar por el smbolo b , se desplaza a q5 y se desplaza a la

derecha de la cinta
 a a b

Lee el siguiente smbolo de entrada (

)

Al leer el siguiente smbolo de entrada ( ), la funcin de transicin indica que

( q5, ) =(q 4 , b , L) , es decir que si en la posicin q5 se lee un smbolo ( )

se debe remplazar por el smbolo b , se desplaza a q 4 y se desplaza a la

izquierda de la cinta

a a b b

Lee el siguiente smbolo de entrada ( b

Al leer el siguiente smbolo de entrada ( b ), la funcin de transicin indica que
( q4, b )=(q 4 ,b , L) , es decir que si en la posicin q4 se lee un smbolo ( b )

se debe remplazar por el smbolo b , permanece en el estado q 4 y se

desplaza a la izquierda de la cinta

a a b b

Lee el siguiente smbolo de entrada ( a

Al leer el siguiente smbolo de entrada ( a ), la funcin de transicin indica que

( q4, a )=(q 4 ,a , L) , es decir que si en la posicin q4 se lee un smbolo ( a )

se debe remplazar por el smbolo a , permanece en el estado q4 y se

desplaza a la izquierda de la cinta

a a b b

Lee el siguiente smbolo de entrada ( a

Al leer el siguiente smbolo de entrada ( a ), la funcin de transicin indica que
( q4, a )=(q 4 ,a , L) , es decir que si en la posicin q4 se lee un smbolo ( a )

se debe remplazar por el smbolo a , permanece en el estado q4 y se

desplaza a la izquierda de la cinta

a a b b

Lee el siguiente smbolo de entrada (

)

En este punto la cinta lee un smbolo de entrada blanco , la funcin de

transicin indica que ( q4 , ) =(q6 , , R) , es decir que se remplaza el smbolo
blanco por el smbolo blanco , se mueve a la posicin q 6 y hace un

desplazamiento a la derecha. Al ser q 6 el estado halt (estado final o de

aceptacin) la maquina se detiene y la cadena es reconocida.

4. Identifique una cadena que no sea vlida y justifquela por qu.

Tal y como est el diseo se aceptar cualquier combinacin de entrada que

contenga 0 y 1 debe empezar con un nico 0 y de ah en adelante los unos que
se desee, la cadena no ser vlida si se ingresa nicamente 1 ya que entrara al
estado q0 y no pasara de este estado y por lo tanto no llegara al estado final q6,
en la siguiente imagen se observa lo que sucede al ingresar la cadena 111111
5. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco
smbolos
6. Identifique en que momento la mquina se detiene.

La mquina se detiene cuando encuentra en la cinta un smbolo blanco , en

ese momento se mueve al estado q 6 el cual reconoce como estado final y en
ese momento se termina el proceso
7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

Es una MT, ya que est diseada para un clculo especfico.

Se dise una mquina de Turing porque la mquina de Turing universal puede

simular una mquina de Turing arbitraria (Wikipedia, 2013) 1 es decir puede
funcionar con mltiples propsitos a voluntad de alguna persona. Y la mquina de
Turing diseada funciona nicamente con el propsito de duplicar la entrada de la
0, 1 con una salida en aa para 0 y bb para 1 y la por lo tanto es una maquina
especializada que solo funciona para dicho propsito.

2. Disee un Transductor (MAQUINA DE MEALY) que realice la misma

transduccin del ejercicio anterior.

Funcin de salida
Funcin de transicin
T 0 S 1 0 1
q0 q1 q0 ------- aa ------
q1 q1
--------- q2 ------- bb
q2 ---------q2 q2 ------- bb

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

Q: {0, q1, q2}

En: {a, b}
Sal: {1, 2}
Tran: T
Res: S
Q0: Q0

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.
 Recorriendo la cadena valida: 011

La mquina se posiciona en el estado inicial 0, y analiza el primer smbolo de

entrada 1 se cambia el smbolo 1 por aa y pasa al estado 1

Estando en q1 lee el smbolo de entrada 1 y lo cambia por bb y pasa al estado q2.

Estando en q2 lee el ultimo smbolo 1 y lo cambia por bb quedando en q2,
entonces se termina la cadena y es aceptada. La cadena ingresada fue 011, y la
cadena de salida es aabbbb
 4. Identifique una cadena que no sea vlida y justifquela por qu.

Se ingresa la cadena no valida 101

Se ingresa los smbolos 101 el cual empieza con el smbolo 1 aunque el autmata
acepta ese smbolo no se puede empezar por l ya que solo acepta cadenas que
empiecen con cero por lo tanto no se aceptaran cadenas que empiecen con uno
entonces se genera una cadena no valida.

5. Ejecute el RunTest a una cadena aceptada que tenga al menos tres

smbolos
6. Identifique en que momento la mquina se detiene.

La mquina se detiene en el smbolo 1 con salida bb dado que no encuentra

ms smbolos por leer en la cadena ingresada
 7. Explique cinco caractersticas de la Mquina de Mealy y encuentre
cinco diferencias con las Mquinas de Turing (MT).

Mquina de Mealy

1. Una Mquina de Mealy (o Transductor de estados finito) tambin es un

autmata finito pero que genera una salida.
2. Es definido por una 6-tupla
3. Todos los estados son Finales y solamente uno de ellos es el estado inicial
4. Tiene menor cantidad de nmero de estados
5. Es menos estable

Mquina de Turing (MT)

1. La mquina de Turing tiene un estado inicial, y un estado final o de

aceptacin.
2. Las mquinas de Turing permiten hacer recorridos en la cinta y cambiar su
direccin.
3. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende
indefinidamente, llenndose los espacios con el carcter blanco
4. La mquina de Turing consta de un cabezal lector/escritor y una cinta
infinita en la que el cabezal lee el contenido, borra el contenido anterior y
escribe un nuevo valor.
5. Con este aparato extremadamente sencillo es posible realizar cualquier
cmputo que un computador digital sea capaz de realizar.

3. Disee Una MT identificando las condiciones propias del ejercicio

Con Esta mquina de Turing se obtendr el sucesor de un numero binario

Como se muestra en la siguiente tabla:

Entrada Salida (sucesor)

Decimal Binario
0 0
1 1
2 10
3 11
4 100
5 101
Decimal Binario
1 1
2 10
3 11
4 100
5 101
6 110

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

En la Maquina de Turing M es un sptuplo M = (Q, , , , s, , F), donde:

 Q Es el conjunto finito de estados {q0, q1, q2, q3}.

Es el alfabeto de entrada, {0,1}

Es el alfabeto de la cinta, {0, 1}

q 0 Es el estado inicial, q 0 Q

Es el smbolo en blanco,

F Es el conjunto de estados finales, FQ {q3}

Es la funcin de transicin

2. Disela en un Diagrama de Moore.

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

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

Se recorrer la mquina con la cadena de entrada 101(en decimal es 5) y deber

tener una salida 110 (en decimal es 6) se plasma en la cinta, a la izquierda y
derecha de la cadena de entrada se ubican smbolos vacos. Al iniciar, el cabezal
se encuentra en la posicin de inicio, la cinta leer el primer smbolo de la cadena
de entrada (1)
 1 0 1

Lee el primer smbolo de entrada (1)

La funcin de transicin indica ( q0 ,1 ) =( q0 , 1, R) , es decir, que si en la posicin

ingresa (o se lee) un smbolo 1, se debe escribir o reemplazar por el smbolo 1,

permanece en el estado ( q 0 ) y se desplaza a la derecha en la cinta:

1 0 1

Lee el siguiente smbolo de entrada (0)

La funcin de transicin indica ( q0 , 0 )=(q 0 , 0, R) , es decir, que si en la posicin

ingresa (o se lee) un smbolo 0, se debe escribir o reemplazar por el smbolo 0,

permanece en el estado ( q 0 ) y se desplaza a la derecha en la cinta:

1 0 1

Lee el siguiente smbolo de entrada (1)

La funcin de transicin indica ( q0 ,1 ) =( q0 , 1, R) , es decir, que si en la posicin

ingresa (o se lee) un smbolo 1, se debe escribir o reemplazar por el smbolo 1,

permanece en el estado ( q 0 ) y se desplaza a la derecha en la cinta:

1 0 1

Lee el siguiente smbolo de entrada (

Al leer el siguiente smbolo de entrada ( ), la funcin de transicin indica que
( q0 , )=(q 1 , , L) , es decir que si en la posicin q 0 se lee un smbolo ( )

se debe remplazar por el smbolo , y se desplaza a la posicin q1 y se

desplaza a la izquierda de la cinta

1 0 1

Lee el siguiente smbolo de entrada ( 1 )

Al leer el siguiente smbolo de entrada ( 1 ), la funcin de transicin indica que

( q1 ,1 ) =( q1 ,0, L) , es decir que si en la posicin q1 se lee un smbolo ( 1 )
se debe remplazar por el smbolo 0 , permanece en el estado q1 y se
desplaza a la izquierda de la cinta

1 0 0

Lee el siguiente smbolo de entrada ( 0 )

Al leer el siguiente smbolo de entrada ( 0 ), la funcin de transicin indica que

( q1, 0 ) =(q2 ,1, L) , es decir que si en la posicin q1 se lee un smbolo ( 0 )

se debe remplazar por el smbolo 1 , se desplaza a q 2 y se desplaza a la

izquierda de la cinta

1 1 0

Lee el siguiente smbolo de entrada ( 1

Al leer el siguiente smbolo de entrada ( 1 ), la funcin de transicin indica que
( q2, 1 )=(q 2 , 1, L) , es decir que si en la posicin q 2 se lee un smbolo ( 1 ) se

debe remplazar por el smbolo 1 , permanece en el estado q 2 y se desplaza a

la izquierda de la cinta

1 1 0

Lee el siguiente smbolo de entrada (

)
En este punto la cinta lee un smbolo de entrada blanco , la funcin de
transicin indica que ( q3, ) =(q 3 ,, R) , es decir que se remplaza el smbolo
blanco por el smbolo blanco , se mueve a la posicin q3 y hace un

desplazamiento a la derecha. Al ser q3 el estado halt (estado final o de

aceptacin) la maquina se detiene y la cadena es reconocida.

4. Identifique una cadena que no sea vlida y justifquela por qu.

Tal y como est el diseo se aceptar cualquier combinacin de entrada que

contenga 0 y 1 puede empezar con cualquiera de estos dos smbolos y de ah
en adelante los unos o ceros que se desee, la cadena no ser vlida si se ingresa
smbolos diferentes a estos ya que entrara al estado q0 y no pasara de este
estado y por lo tanto no llegara al estado final q3, en la siguiente imagen se
observa lo que sucede al ingresar la cadena 2222
5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco
smbolos

Voy a ingresar el 11010 (nmero 26 en decimal) como salida tendr 11011 (27
en decimal).
6. Identifique en que momento la mquina se detiene.

La mquina se detiene cuando encuentra en la cinta un smbolo blanco , en

ese momento se mueve al estado q3 el cual reconoce como estado final y en
ese momento se termina el proceso