Está en la página 1de 10

Página |1

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

Demostración de que δ=cbabaa es ambigua mediante árbol de derivaciones:

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

El lenguaje generado es:


LG3   312,313,321,3223,3222

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:

Archivo JFLAP adjuntado Ejercicio2_AFD.jff


Página |8

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:

Archivo JFLAP adjuntado Ejercicio3_AFsinMinimizar.jff


b)
El estado E es NO CONEXO, ya que no es accesible desde A que es el estado inicial del
Autómata, por lo tanto se eliminara E del mismo.

c)
El conjunto cociente inicial:
Q/E0 = A,BC,D = C0 ,C1

Evalúo los estados para verificar si son equivalentes:


Página |9

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 

Separando el segundo grupo obtengo el siguiente conjunto cociente:


Q/E1 = A,B , C , D = C0 ,C1,C2 

Evalúo nuevamente:
C0 : 

f  A,1 =C0 f  A,2  =C2  Equivalentes

f  B,1 =C0 f  B,2  =C2 

Ahora puedo definir el AF minimizado.

d)

Definición:
 = 1,2
E

Q= C0 ,C1 ,C2 


q 0 =C0
F= C1 ,C2 

Grafo:

Archivo JFLAP adjuntado Ejercicio3_AFMinimizado.jff

Tabla:
P á g i n a | 10

f 1 2
C0 C0 C2
C1 C2 C1
C2 C0 C1

También podría gustarte