Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TRABAJO COLABORATIVO 2
Grupo: 301405_13
BOGOT, 2016
INTRODUCCIN
{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
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
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:
q3
q5
q8
0
B
B
B
1
B
B
B
q0
q1
q2
q4
q6
q7
q9
0
B
B
A
B
B
A
B
1
B
A
B
B
A
B
B
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
q3
q5
q8
Para B:
0
D
D
D
1
C
C
C
q0
0
D
1
C
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
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
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
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=
{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
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
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
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