UNIDAD 2

TRABAJO COLABORATIVO 2

ANGLICA MARA CUERO TOVAR 1.022.333.291 JAG

CAMILO ANDRES ROMERO RUBIANO 1.020.799.581 JAG
JONATHAN ALEXANDER AVENDANO
LUZ HERMINDA GUALTEROS

Grupo: 301405_13

Tutor: VICTOR FERNANDO CAON RODRGUEZ

Ingeniero de Sistemas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTMATAS Y LENGUAJES FORMALES

BOGOT, 2016

INTRODUCCIN

El siguiente trabajo tiene como objetivo comprender la importancia de la comprensin y

desarrollo de Autmatas para lo cual es necesario realizar un cierto tipo de estudios de
autmatas, para realizar pruebas y lograr una compilacin adecuada para los autmatas que se
solicitan para desarrollar.
Para la construccin del trabajo, cada uno de los integrantes, se profundizo sobre el tema, con el
fin de obtener de cada uno, sus propias conclusin, debatir sobre ellas y escoger la mas
pertinente, para el caso de estudio (Autmatas).
A continuacin, realizamos una apreciacin ms profunda de los diferentes puntos desarrollados,
para ver las los Automatas de la (parte 1) y (parte 2) .

DESARROLLO DE LOS PUNTOS

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al siguiente

autmata finito:

Importante: El proceso de minimizacin no se debe hacer de forma automtica en JFLAP por

que no ser vlido para asignacin de puntos en la rbrica. JFLAP lo puede usar para validar o
demostrar algunos pasos o procesos pero no para la minimizacin automtica.
Para la obtencin de las gramticas, estas deben generarse de forma manual (no con JFLAP).
Puede usar JFLAP para demostrar por ejemplo cadenas aceptadas o no por las gramticas, y para
los rboles de derivacin pero no para generar las gramticas.

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes

de minimizar)
Rta:
M = {{q0, q1, q2, q3, q4, q5, q6, q7, q8, q9}, {0, 1}, , q0, {q3, q5, q8}}
K = {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9}

{0, 1 }
s =q0
F = q3, q5, q8
=( q 0,0 )=q 2
=( q 0,1 ) =q 1
=( q 1,0 ) =q 9
=( q 1,1 )=q 5
=( q 2,0 )=q 3
=( q 2,1 ) =q 9
=( q 3,0 ) =q 2
=( q 3,1 )=q 6
=( q 4,0 )=q 6
=( q 4,1 )=q 7
=( q 5,0 ) =q 7
=( q 5,1 )=q 1
=( q 6,0 )=q 4
=( q 6,1 ) =q 8
=( q 7,0 ) =q 8
=( q 7,1 )=q 4
=( q 8,0 )=q 7
=( q 8,1 ) =q 6
=( q 9,0 )=q 0

=( q 9,1 ) =q 4

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
Rta:

q0
q1
q2
q3
q4
q5
q6
q7
q8
q9

0
q2
q9
q3
q2
q6
q7
q4
q8
q7
q0

1
q1
q5
q9
q6
q7
q1
q8
q4
q6
q2

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

Rta:
L= {W tiene al menos {0, 0} o {1, 1} y debe terminar en {0} o {1}}
4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una
cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes
de minimizar)
Rta:
Se determinan dos conjuntos:
A= Estados aceptadores
B = Estados no aceptadores
A = {q3, q5, q8}
B = {q0, q1, q2, q4, q6, q7, q9}

Validacin del conjunto A:

q3:
= {0,1}

q3

1
B

0
B

1
B

0
B

1
B

0
B
B
A
B
B
A
B

1
B
A
B
B
A
B
B

q5:
= {0,1}

q5

0
B

q8:
= {0,1}

q8

Validacin del conjunto B:

q0
q1
q2
q4
q6
q7
q9

5. Identifique los estados Distinguibles y los No distinguibles

Rta:

Estados distinguibles: A = {q3, q5, q8}

Estados no distinguibles: B = {q0, q1, q2, q4, q6, q7, q9}

6. Identifique los estados equivalentes (para ello muestre cmo evala esas
equivalencias, colocando a los estados candidatos de equivalencia como estados
iniciales). Evidencie el proceso de cmo los evala.

Rta:

Estados equivalentes en A = {q3, q5, q8}

q3
q5
q8

0
B
B
B

1
B
B
B

Todos los estados son equivalentes: A = {q3, q5, q8}

Estados equivalentes en B = {q0, q1, q2, q4, q6, q7, q9}

q0
q1
q2
q4
q6
q7
q9

0
B
B
A
B
B
A
B

1
B
A
B
B
A
B
B

Se conforman 3 nuevos conjuntos debido a las equivalencias:

B = {q0, q4, q9}
C = {q1, q6}
D = {q2, q7}
Posteriormente se realiza otra iteracin para confirmar las equivalencias:
A = {q3, q5, q8}
B = {q0, q4, q9}
C = {q1, q6}
D = {q2, q7}
Para A:

0
q3
D
q5
D
q8
D
Para B: (Se generan dos conjuntos nuevos)

1
C
C
C

q0
q4
q9
Para C:

1
C
D
B

0
D
C
B

q1
q6

0
B
B

1
A
A

0
A
A

1
B
B

Para D:

q2
q7

Al evidenciar el caso anterior se realiza otra iteracin para confirmar las

equivalencias de los estados:
A = {q3, q5, q8}
B = {q0}
C = {q1, q6}
D = {q2, q7}
E = {q4}
F = {q9}
Para A:

q3
q5
q8
Para B:

0
D
D
D

1
C
C
C

q0

0
D

1
C

Para C: (Aparece un nuevo conjunto)

0
q1
F
q6
E
Para D: (Aparece un nuevo conjunto)

q2
q7
Para E:

q4
Para F:

0
A
A
0
C

1
A
A
1
F
E
1
D

q9

0
B

1
E

Al evidenciar el caso anterior se realiza otra iteracin para confirmar las

equivalencias de los estados:
A = {q3, q5, q8}
B = {q0}
C = {q1}
D = {q2}
E = {q4}
F = {q9}
G = {q6}
H = {q7}
Para A: (Aparecen 2 nuevos conjuntos)

q3
q5
q8
Para B:

0
D
H
H

1
G
C
G

q0
Para C:

0
D

1
C

q1
Para D:

0
F

q2
Para E:

q4
Para F:

q9
Para G:

q6
Para H:

q7

1
A
0
A

0
G
0
B
0
E
0
A

1
F
1
H
1
E
1
A
1
E

10

Quedan los siguientes conjuntos: (Se evidencia que el autmata inicial no se

puede minimizar)
A = {q3}
B = {q0}
C = {q1}
D = {q2}
E = {q4}
F = {q9}
G = {q6}
H = {q7}
I = {q5}
J = {q8}

q3
q0
q1
q2
q4
q9
q6
q7
q5
q8

0
D
D
F
A
G
B
E
J
H
H

1
G
C
I
F
H
E
J
E
C
G

CONJUNTO
A
B
C
D
E
F
G
H
I
J

11

7. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y cules

se re direccionan. Muestre la tabla de estados distinguibles
8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de Moore
9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya
minimizado
10. Identifique El Lenguaje que reconoce. (Autmata ya minimizado)
11. Identifique la ER del autmata ya minimizado y en una tabla de validacin (puede ser de
Excel), verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de
operadores. (Autmata ya minimizado)
12. (Autmata minimizado) Identifique su gramtica (de forma manual) por la derecha y
caractercela. Debe incluir el diagrama de estados con los componentes de la gramtica
asociados a las variables y a las constantes.
13. Realice la gramtica por la izquierda (de forma manual) y compare si esta gramtica
acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su respuesta
14. Con una cadena vlida, genere un rbol de derivacin para la gramtica por la derecha y
demuestre y justifique si la cadena y rbol generado puede ser ambigua o no.

PARTE 2: Disee un AP que desarrolle el siguiente lenguaje L ={0i 1j 2i+j / i, j 1}, (con pila
vaca): exceptuando o rechazando cadenas como:

12

Cadenas vlidas.
0122
011222
00112222
0011122222
000111222222

Cadenas no vlidas
012
001122
000111222
0000112222
1. Describa el autmata en notacin matemtica.
Rta:

, , q 0, z 0 , F
7-tupla Q , V ,
AP=

Q = {{q0, q1, q2 }, {0, 1, 2}, , q0, { q2}}

V = {q0, q1, q2 }

{0, 1,2 }
q0 =q0
F = q2
=( q 0,0 , 1 )=q 1
=( q 1,0 , 1 )=q 1

13

=( q 1, 1, ,1 ) =q 2
=( q 2, 1, ,1 ) =q 2
=( q 2, 2,1, )=q 2
=( q 2, , Z , )=q 2

2. Determine si el lenguaje aceptado de este autmata con pila se lleva a cabo por: Aceptacin
por estado final o por Aceptacin por pila vaca.
RTA:
La Cadena es reconocida y se lleva a cabo por estado de aceptacin pila vaca. Ya que finaliza en
el estado {q2}, por leer no queda nada ( ) y la pila vuelve a z0

3. Justifique y evidencie si el diseo es un APND o un APD

4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas para un AP
son: El estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el
contenido de la pila).

0122

14

Estado
q0
q1
q2
q2
q2

Por leer
0122
122
22
2
-

Pila
Z0
1Z
11Z
1Z
Z0

Por leer
011222
11222
1222
222
22
2
-

Pila
Z0
1Z
11Z
111Z
11Z
1Z
Z0

011222

Estado
q0
q1
q2
q2
q2
q2
q2

00112222

Cinta
Lectora
Pila

15

Estado Por leer

q0
0011222
2
q1
0112222
q1
112222
q2
12222
q2
2222
q2
222
q2
22
q2
2
q2
-

Pila
Z0
1Z
11Z
111Z
1111Z
111Z
11Z
1Z
Z0

0011122222

Estado
q0
q1
q1
q2
q2
q2
q2
q2
q2

Por leer
0011122222
011122222
11122222
1122222
122222
22222
2222
222
22

Pila
Z0
1Z
11Z
111Z
1111Z
11111Z
1111Z
111Z
11Z

16

q2
q2

2
-

000111222222

1Z
Z0

17

Estado
q0
q1
q1
q1
q2
q2
q2
q2
q2
q2
q2
q2
q2

Por Leer
00011122222
2
00111222222
0111222222
111222222
11222222
1222222
222222
22222
2222
222
22
2
-

Pila
Z0
1Z
11Z
111Z
1111Z
11111Z
111111Z
11111Z
1111Z
111Z
11Z
1Z
Z0

18

5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento en el documento.
(Se debe apoyar en JFLAP) (Documente el proceso)
cadenas aceptadas:
0122:
Cinta
Lectora
Pila

011222:

19

Cinta
Lectora
Pila

00112222

20

Cinta
Lectora
Pila

21

0011122222:

22

23

000111222222

Cinta
Lectora
Pila

24

25

Cinta
Lectora
Pila

6. Muestre el diagrama correspondiente de estados.

7. Determine si su diseo acepta o no la cadena vaca y explique por qu en cualquier caso,

demostrando el recorrido o comportamiento de la Pila para ese evento. (Evidencindolo).

26

27

CONCLUSIONES

Como conclusin principal podemos destacar que el desarrollo de los ejercicios y la utilizacin
de simuladores en el trascurso de la actividad nos favorecieron en el aprendizaje del tema y nos
permiti profundizar en la materia.
Es importante destacar que en el desarrollo de la actividad fue muy utilizado el trabajo hecho por
los tutores, las conferencias, las tutoras en chat y dems herramientas que en su momento nos
fueron apoyando el desarrollo del trabajo.

28

Bibliografa

http://148.204.211.134/polilibros/portal/polilibros/P_Terminados/TeoriaComput/umd/U3/tema3_
1.htm
https://www.youtube.com/watch?v=YjEPHAJJAzg