Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Página |2
Página |3
UNIDAD 1
Ejercicio 1
G1 = a,b,c , S,A,B,C , S , P1
P1 = S:=BAa, A:=Ca c cb, B:=Ab cb, C:=ab c
a)
Tipo: Tipo 2
Nombre de la Gramática: Independiente del contexto
b)
No es del tipo requerido.
c)
α=cbbcba
α: S BAa AbAa cbbAa cbbcba
β=cbcaa
β: S BAa BCaa cbCaa cbcaa
Página |4
Nota: en el segundo árbol tuve que borrar la producción B cb para que me tome B Ab
y así poder demostrar ambigüedad, primeramente probé alternando el orden de las
producciones para ver si creaba un árbol distinto pero el software siempre tomaba la misma
producción.
G 2 = a,c , A,B,C , A , P2
P1 = A:=aB, aB:=bC aacC, C:=ca c λ
a)
Tipo: Tipo 1
Nombre de la Gramática: Dependiente del contexto
b)
No es del tipo requerido.
c)
No es del tipo requerido.
Página |5
G 3 = 1,2,3 , S,A,B,C , S , P3
P3 = S:=3A, A:=1C 2B, B:=2C 1,C:=2 3
a)
Tipo: Tipo 3
Nombre de la Gramática: Regular
b)
Página |6
Página |7
c)
No es del tipo requerido.
G 4 = a,b , P,Q,R , P , P4
P4 = P:=bQb bRa , bRa:=baa bba , bQb:=bbbb bab
a)
Tipo: Tipo 0
Nombre de la Gramática: Estructurada por Frases
b)
No es del tipo requerido.
c)
No es del tipo requerido.
UNIDAD 2
Ejercicio 2
Para el Lenguaje L 0n1P 0n / n 1, 2,3 p 1
a)
Grafo:
Definición Formal:
0,1
E
Q qI , q1 , q2 , q3 , q4 , q5 , q6 , q7 , q8 , q9 , qF
q0 qI
F qF
Ejercicio 3
Dado:
a)
Grafo:
c)
El conjunto cociente inicial:
Q/E0 = A,BC,D = C0 ,C1
C0 :
f A,1 =C0 f A,2 =C1
Equivalentes
f B,1 =C0 f B,2 =C1
C1:
f C,1 =C1 f C,2 =C1
No equivalentes
f D,1 =C0 f D,2 =C1
Evalúo nuevamente:
C0 :
f A,1 =C0 f A,2 =C2 Equivalentes
f B,1 =C0 f B,2 =C2
d)
Definición:
= 1,2
E
Grafo:
Tabla:
P á g i n a | 10
f 1 2
C0 C0 C2
C1 C2 C1
C2 C0 C1