TRABAJO COLABORATIVO 1

LEIDY SELENE QUIROZ OBANDO

Código: 1085256217

Correo Electrónico: luna1085256@hotmail.com

MIGUEL FERNANDO ESTUPIÑAN CERON

Código: 1085250011

Correo Electrónico: mfec_cali8@hotmail.com

YEISON JURADO VÁSQUEZ

Código: 1085269828

Correo Electrónico: yesjur@yahoo.es

GRUPO 301405_57

JAIME JOSÉ VALDES BENJUMEA, Máster en Tecnología de la Información

Tutor de Curso

Correo Electrónico: jaime.valdes@unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
PROGRAMA DE INGENIERÍA DE SISTEMAS
301405 – AUTÓMATAS Y LENGUAJES FORMALES
2 DE ABRIL DE 2014
 DESCRIPCIÓN GENERAL DEL TRABAJO

En la teoría de autómatas se estudia máquinas abstractas y los problemas que éstas

pueden resolver y está íntimamente relacionada con la teoría de los lenguajes formales,
ya que un autómata se lo puede definir según el lenguaje que es capaz de reconocer.
En este trabajo se identifican lenguajes, tablas de transición y el manejo de software
simulador para entender la lógica de los autómatas.

CONTENIDO

PARTE 1: Dada la siguiente tabla de transición:

δ x y z
q0 q1 q2 q1
q1 q1 q3 q2
q2 q3 q2 Ø
# q3 Ø Ø Ø
1. Exprese el autómata en notación matemática. Identifique que tipo de autómata es
(AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo).

Este autómata M infinito es igual a M =( K , Σ , q0 , δ , F )

Donde K= { q0 , q 1 , q2 , q3 ) ∑ ¿ { x , y , z } q 0 es el estado inicial y F={q 3 }es el estado final.

Y la función de transición está dada por:

δ : { q0 , q1 , q2 , q3 ) X { x , y , z } → { q 0 , q 1 , q 2 , q3 ) → q0 → q3

δ = { ( q0 , x , q 1 ) , ( q0 , y , q 2 ) , ( q0 , z , q1 ) , ( q 1 , x , q 1 ) , ( q1 , y , q 3 ) , ( q 1 , z , q2 ) , ( q2 , x , q 3 ) , ( q2 , y , q 2 ) }

Por lo tanto este autómata es de tipo no determinístico porque se dan varios casos
que indican que el estado siguiente no está definido, como δ ( q2 , z ) =Ø . También
porque del estado q0 al estado q1, hay dos transiciones x y z.

2. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento y la
función y significado en el autómata. Conceptos y definiciones adicionales.

La configuración del autómata es una quíntupla de elementos M =( K , Σ , q0 , δ , F ),

donde:
 K= { q0 , q 1 , q2 , q3 ) Representa el conjunto de estados.
∑ ¿ { x , y , z } Es el alfabeto.
q 0 ∈ K Es el estado inicial.
δ : { q0 , q1 , q2 , q3 ) X { x , y , z } → { q 0 , q 1 , q 2 , q3 ) Es la función de transición.
F={ q 3 } Es el estado final.

3. Identifique el lenguaje que genera.

¿
L ( M ) ={w ∈ { x , y , z } |w cumple la propiedad (z + x) x∗y +( y+(z + x) x∗z) y∗x }
4. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique
cada secuencia.

Diagrama de Moore.

Por lo tanto las cadenas válidas son las siguientes:

Si tomamos la cadena xxzyx.

Iniciamos en el estado q0.

Para pasar de q0 a q1 usa la transición x.

Como q1 es un estado que puede ser repetitivo, aparece otra vez la transición x.

De q1 a q2 usa la transición z.

Como el estado q2 puede ser repetitivo usa la transición y.

Del estado q2 llega al estado final q3 a través de la transición x.

5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que
similitudes o diferencias encuentra al realizarlo en los dos simuladores.
(Herramientas que ofrezca uno u otro).

Diagrama hecho en JFLAp.

Diagrama hecho en VAS.

En el simulador JFLAp están predefinidos los nombres que serán asignados a los
estados mientras que en el simulador VAS existe la libertad de asignarlos.

En cuanto a las transiciones, en VAS es mucho más fácil manejarlas y adecuarlas al

gusto del usuario, en cambio en JFLAp es un poco complicado y no muy manejable.
Además que en VAS las dos transiciones que comparten el estado q 0 y q1 se las
representa por líneas separadas contrario a JFLAp que las une en una sola.
 Una herramienta importante de JFLAp es Multiple Run que permite ingresar las
posibles cadenas e ir evaluándolas.

En VAS podemos obtener la tabla de transición.

PARTE 2: Para cada una de las Expresiones Regulares siguientes (ER) realice:

EXPRESIONES REGULARES:

Primera: (a+b)*b(b+a)b(b+a)*
Segunda: (0+1)*11(1+0)0(1+10*)*
Tercera: 0*1*+(01)*+(11*00*+01)
Cuarta: Una ER libre (la que desee construir).
Quinta: la ER de la tabla de transición del autómata de la Parte 1.

6. Identifique el lenguaje que representa: (tenga en cuenta como se plasma o identifica

un lenguaje aceptado: módulo página 47 lección 10).

7. Genere tres cadenas válidas y dos no válidas.

8. Plasme las tres cadenas válidas para cada ER en una tabla (identificando jerarquía
de operadores regulares, identificando colores). Para ello apóyese en el video:
http://youtu.be/JZPAHHA2PnE (minuto 14 al 33).

9. Identifique en la misma tabla por qué las dos cadenas seleccionadas no se aceptan
o en qué parte se trunca la jerarquía y orden de los operadores.

10. Seleccione una ER (solo una) y expórtela o genere el autómata o el diagrama de

Moore que sea válido.
Primera: (a+b)*b(b+a)b(b+a)*

Σ = Lenguaje
Σ = {a, b}
 Expresiones Regulares
(a+b)*b(b+a)b(b+a)*
Opcional Obligatorio La b fuera de la estrella es obligatoria
(a+b)* b(b+a) b(b+a)* Resultado
1 a b b a b Aceptada
2 b b b a b Aceptada
3 a b b b a b b a Aceptada
4 b b b a b Aceptada

5 a b a b b Rechazada
6 b b b b a Rechazada
7 a b b b a a b a Rechazada
8 b b a a b b b a Rechazada

Cadenas
1 abbbab
2 bbbab
3 abbbabba
4 bbbab
5 ababb
6 bbbba
7 abbbaaba
8 bbaabbba
Segunda: (0+1)*11(1+0)0(1+10*)*

Σ = Lenguaje

Σ = {0, 1}

Expresiones Regulares
(0+1)*11(1+0)0(1+10*)*
Opcional Obligatorio 0 fuera de la estrella es obligatoria
(0+1)* 11(1+0) 0(1+10*)* Resultado
1 0 1 1 1 1 0 0 1 1 0 Aceptada
2 1 1 1 1 0 0 0 Aceptada
3 0 1 1 1 0 0 Aceptada
4 0 1 1 1 1 0 0 1 Aceptada

5 0 1 1 1 1 0 0 Rechazada
6 0 1 1 1 1 0 1 Rechazada
7 1 0 1 1 0 0 1 Rechazada
8 0 1 0 0 0 0 1 0 Rechazada

Cadenas
1 0111100110
2 1111000
3 011100
4 01111001
5 0111100
6 0111101
7 1011001
8 01000010
Tercera: 0*1*+(01)*+(11*00*+01)

Σ = Lenguaje

Σ = {0, 1}

Expresiones Regulares
0*1*+(01)*+(11*00*+01)
Opcional Obligatorio La b fuera de la estrella es obligatoria
0*1* (01)* (11*00*+01) Resultado
1 0 0 0 1 Aceptada
2 0 1 0 1 1 1 0 0 0 1 Aceptada
3 1 1 0 1 Aceptada
4 0 1 1 0 1 Aceptada

5 1 1 1 0 Rechazada
6 0 1 0 1 1 1 1 1 Rechazada
7 0 0 1 1 0 Rechazada
8 0 1 1 1 1 0 Rechazada

Cadenas
1 0001
2 0101110001
3 1101
4 01101
5 1110
6 01011111
7 00110
8 011110
Cuarta: Una ER libre (la que desee construir).

0*(1(1*(0(1+0)*)))

Σ = Lenguaje

Σ = {0, 1}

0
1
0
1
1,0
Q0 Q1 Q2

X=RX+S Clausula de kleene

X=r*s
Q0 = 0q0 + 1q1
Q1 = 1q1 + 0q2
Q2 = 0q2 + 1q2 + λ
Q2 = (1+0)q2 + λ
R x S
Q2 = (1+0)*
Q1 = 1q1 + 0q2
Rx S
Q1 = 1*(0q2)
Q1 = 1*(0(1+0)*)
Q0 = 0q0 + 1q1
Rx S
Q0 = 0*(1q1)
Q0 = 0*(1(1*(0(1+0)*)))
Quinta: la ER de la tabla de transición del autómata de la Parte 1.

δ x y z
q0 q1 q2 q1
q1 q1 q3 q2
q2 q3 q2 Ø
# q3 Ø Ø Ø

X=RX+S Clausula de kleene

X=r*s