Professional Documents
Culture Documents
(q0, 0)= q1
(q1, 0)= q3
(q2, 0)= q5
(q3, 0)= q1
(q4, 0)= q1
(q5, 0)= q5
(q0, 1)= q2
(q1, 1)=
(q2, 1)= q4
(q3, 1)= q2
(q4, 1)= q2
(q5, 1)= q4
# q2
q5
q4
# q3
q1
q2
q4
q1
q2
q5
q5
q4
=(1+00(00)*1)(1(1+00(00)*1)+00*1(1+00(00)*1))*
que
Rn
R1=( q0 , q2 )=00(00)
q2
q3
q0
hasta
R2=( q0 , q3 ) =11(11)
ER=
R1 + R2 + R3 + R4 + R 5
q3
Estados finales
,
y
q0
q1
q4
q5
Estados no finales
= {0, 1}
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.
Conjunto x
q2
q3
0
y
1
y
Conjunto y
q0
0
y
1
y
q1
q4
q5
y
#x
z
w
n
0
a
1
b
b
n
x
z
b
x
n
w
M = (K, , , s, F)
K = { a,z,b,n,x } estados del autmata
= {0,1} es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
s es el estado inicial, en nuestro caso (y)
F es un conjunto de estados finales, en nuestro caso (x)
10. Identifique El Lenguaje que reconoce. (autmata ya minimizado)
L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas
que empiezan por 0 o por 1 y que terminan en 0 o 1, seguidos de una
combinacin de uno o varios 0 o 1. bajo ciertas condiciones (propiedades) que
resultan complejas (ER), por eso es que se reduce o minimiza el autmata.
Cadenas validas
11
00
111010
0101
000000
Cadenas no validas
10
101
00101
00011
01001
Los lenguajes generados por una GIC son llamados Lenguajes Independientes
del Contexto (LIC). Es posible probar que la gramtica independiente del contexto
dada por: S aSb|
Para verificar que tipo de gramtica es en el simulador JFLAP nos dirigimos a la
ventana que se exporta despus de haber convertido el DFA a Gramtica (ver
ms adelante) y en el men Test seleccionamos prueba de tipo de gramtica
(Test For Grammar Type).
Par ver qu tipo de gramtica es en el simulador (JFLAP) nos ubicamos en el
men convert y elegimos la opcin Convert to Grammar; esto si el autmata
finito es determinista de lo contrario debemos convertirlo primero en un autmata
finito Determinista y luego realizar el proceso para convertir a la gramtica, en este
caso estamos trabajando con un autmata finito determinstico as que no es
necesario.
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