Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
FORMALES
PARTE 1
PUNTO 1
q 0 , Q1 , Q2 Q3 , Q4 , Q5 }
K ={
refiere al lenguaje :
= {a , b}
S es el estado inicial:
S =
Kx
q0
es la funcin de transicin del autmata podemos denotar asi :
(q0, a)= q0
(q1, a)= q4
(q2, b)= q3
(q3, b)= q2
(q4, a)= q6
(q5, a)= q7
(q0, a)= q0
(q1, a)= q1
(q2, b)= q2
(q3, a)= q3
(q4, b)= q4
(q5, b)= q5
M= ({q0, q1, q2, q3, q4, q5 }, {a,b}, , {q0}, {q1, q2, q4})
0
q2
q4
q3
q2
q6
q7
q0
q1
q2
# q3
q4
# q5
1
q1
q5
q4
q6
q7
q1
R1=( q0 , q3 ) =00(00)
R2=( q0 , q5 ) =11(11)
ER= R1 + R2 + R3 + R4 + R 5+ R 6+ R 7 + R8
Por lo tanto ser:
00(00) + 11(11) +11 ( 11 ) 00 ( 00 ) +00 ( 00 ) 11 ( 11 ) +011 ( 11 ) 0 (00) +101 (11 ) 0(00) +100 ( 00 ) 1(11) +010 ( 00
Por equivalencias y factor comn entre las partes se puede decir que la Expresin
Regular del autmata es:
,
y
q0 ,
q1 ,
Estados finales
q8
q2 ,
q4 ,
q 6 , Estados no finales
q7
= {0, 1}
5. 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.
Conjunto x
q3
0
y
1
y
q5
q8
q0
0
y
1
y
q1
q2
q4
q6
Conjunto y
q7
Nuevos conjuntos:
q3 , q5
q8
q0 ,
q1 , q 6
q 2 , q7
Conjunto x
q3
0
w
1
z
q5
q8
q0
0
w
1
z
q4
q1
0
y
1
x
q6
q2
0
x
1
y
q7
Conjunto y
Conjunto z
Conjunto w
q4
Nuevos conjuntos:
x
q3 , q5
q8
,
y
q0
q1 , q 6
q 2 , q7
q4
Conjunto x
q3
0
w
1
z
q5
q8
0
w
1
z
q1
0
n
1
x
q6
q2
0
x
1
n
q7
0
z
1
w
Conjunto y
q0
Conjunto z
Conjunto w
Conjunto n
q4
y
#x
z
w
n
w
n
x
z
z
x
n
w
En la nueva ventana damos clic en mostrar todas las producciones que quedan
(Show All), Exportamos la gramtica en una nueva ventana (opcin Export).
Al ejecutar nos indica la imagen que es una gramtica regular y una gramtica
libre de contexto alineado por derecha.
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
Ingresamos 111010 Presionamos STAR y luego STEP para ver todo el rbol.
Tambin podemos observar la tabla de derivacin
L(G) .
CONCLUSIONES
BIBLIOGRAFA
http://www.veoh.com/watch/v616083236Thn5HJn
https://www.youtube.com/watch?v=eWUfPJD9A_0&feature=youtu.be
https://www.youtube.com/watch?v=3kWdHOLw-AQ
https://www.youtube.com/watch?v=ASg_ZUXgvZk
https://www.youtube.com/watch?v=sW-Lx9p1xfc
https://www.youtube.com/watch?v=I4wI0mwQYow
https://www.youtube.com/watch?v=-mZ