Nombre del alumno: Ivan Alejandro Gomez Reyes

Código: 212028792
Fecha: 24/09/2022
Profesor: Murillo Leano, María Magdalena
Materia: Teoría de la Computación (I5915) - NRC 42858 - SEC D10
ACTIVIDAD II: GRAMÁTICAS FORMALES
Fecha de entrega: I semana
Entregables: Mínimo 5 ejercicios
1.- Dadas las siguientes gramáticas, determine el tipo según la
jerarquía de Chomsky, justificando su
respuesta:
a) G=({x,y}, {A,B,S}, S, P), P={S::=xA, A::=yB, A::=xA, A::=x, B::= }λ
Es una gramática Regular (Tipo 3). Porque todas las reglas de
producción son del tipo A -> a | aB | Ba | λ
b) G=({x,y}, {A,B,S}, S, P), P={S::=xA, A::=yB, A::=xA, A::=x}
Es una gramática Regular (Tipo 3). Porque todas las reglas de
producción son del tipo A -> a | aB | Ba | λ
c) G=({a, b, c}, {S, A, B, T}, S, P), P={S::=Tb, S::=BA, B::= ,
bATa::=bBTa, cAB::=cBaTB, B::=T λ
a,B::=b}
Es una gramática Sensible al Contexto (Tipo 1). Esto es porque las
reglas de producción del lado izquierdo tienen más de un símbolo, y
porque las reglas de producción del lado izquierdo son menor o
iguales de tamaño que el lado derecho.
d) G=({0,1}, {C,A,B,S}, S, P), P={S::=C0, S::=C1, S::=B1, S::=A0,
S::=0, S::=1, A::=A0, A::=C0,
A::=0, B::=B1, B::=1A, C::=0A}
Es una gramática Regular (Tipo 3). Todas las reglas de producción
son de la forma A -> a | aB | Ba.
e) G=({x,y,z}, {S,B}, S, P), P={S::=xyz, S::=xBSz, Bx::=xB, By::=yy}
Es una gramática sensible al contexto (Tipo 1). Las reglas de
producción son símbolos Terminantes y No Terminantes combinados,
pero son de menor o igual longitud que su lado derecho.
2.- Dados los siguientes lenguajes, crear una gramática que los
genere: { xn
| n ∈ [1, 3] },
G = ({x}, {S}, S, P) P = {S -> x | xx | xxx }
{ xn | n > 0 },
G = ({x}, {S}, S, P) P = { S -> xS | x }
{ , x, xx, xxx },
G = ({x}, {S}, S, P) P = { S -> λ | xS | x }
{ , x, xx, xxx, xxxx, xxxxx, …} y
{ x λ λ 2nynz | n 0 }. ≥
G = ({x, y, z}, {S, A}, S, P) P = { S -> z | Az, A -> xxAy | xxy }
3.- Determinar el lenguaje asociado a las siguientes gramáticas:
G1 G2 G3 G4 G5
ΣT = {c}
ΣN = {S, A}
ΣT = {c,d}
ΣN = {S, A}
ΣT = {c}
ΣN = {S, A}
ΣT = {c,d}
ΣN = {S, A, T}
ΣT = {c,d}
ΣN = {S, A}
P1: S→λ | A,
A→AA| c
P2: S→λ | A,
A→cAd| cd
P3: S→λ | A,
A→AcA| c
P4: S→cA
A→d | cA| Td
T→Td | d
P5: S→λ | A
A→Ad| cA | c|
D
L1 = {cn | n ≥ 0}
L2 = { (cd)n | n ≥ 0}
L3 = { λ, c(cc)n | n ≥ 0}
L4 = { cndm | n, m ≥ 1}
L5 = { cndm | n, m ≥ 0}
4.- Dada la siguiente gramática:
G=({x,y,z}, {S,A,B}, S, P), P={S::= , S::=xAz, A::=xA, A::=Az, A::=B,
B::=y, B::=By} λ
Se pide:
Especificar el tipo de la gramática de acuerdo a la jerarquía de
Chomsky.
Libre de Contexto. (Tipo 2)
Determinar el lenguaje L generado por la gramática G.
L = {x+y+z+, λ}
Elaborar dos árboles o cadenas de derivación diferentes para una
palabra s | s ∈ L(G).

Determinar la validez o invalidez de las siguientes sentencias

generando los árboles o cadenas
de derivación correspondientes: xxAzz, xz, xyxyBzz, xyyzzz.
xxAzz no es una cadena válida
S -> xAz -> xBz -> xyz xz no es una cadena válida
xyxyBzz no es una cadena válida
S -> xAz -> xAzz -> xAzzz -> xBzzz -> xByzzz -> xyyzzz Cadena
Válida
5.- Obtener la gramática equivalente a la siguiente, llevando a cabo el
proceso de limpieza de
gramáticas:
G = ({w,x,y,z}, {X,Y,Z,O,P,Q,A}, Z, P),
P = { Z::=Z, Q::=OP, X::=ww, Z::=wX, Y::=ww, Z::=Yw, O::=x, Z::=www,
P::=QO, Q::=z, P::=y, O::=PQ}
G = ( {w}, {Z}, Z, P) P = {Z -> www}
6.- Dada la siguiente gramática G:
G = ({e,f,g,h,a,b,d}, {Y, X, E, A, D, I, G}, A, P),
P = { A::=a E::=b A::=ahb A::=aX E::=E G::=g X::=XE D::=eI X::=h
Y::=b I::=fG X::=Xb
E::=d }
a) Transformar a Forma normal de Chomsky, detallando cada paso
realizado.

Paso 1: Eliminar las reglas de producción que no afectan al

lenguaje producido. Estas reglas son: 5) E -> E 6) G -> g, 8) D -
> eI, 10) Y -> b, 11) I -> fG
P = { A -> a, E -> b, A-> ahb, A -> aX, E -> E, G -> g, X -> XE, D
-> eI, X -> h, Y -> b, I -> fG, X -> Xb, E -> d }
Paso 2: Convertir las reglas 3, 4, y 12 de reglas combinadas a
reglas No Terminantes. Se agrega las regla 14 para que siga
siendo una gramática equivalente. Las reglas 2,
3) A -> ahb ahora es 4) A -> ZXE, 14) Z -> a, 9) X -> h, 2) E ->
b
4) A -> aX ahora es 4) A -> ZX, 14) Z -> a
12) X -> Xb ahora es 7) X -> XE, 13) E -> b
P = { A -> a, E -> b, A-> ZXE, A -> ZX, E -> E, G -> g, X -> XE, D
-> eI, X -> h, Y -> b, I -> fG, X -> XE, E -> d, Z -> a}
Paso 3: Las reglas de la forma A -> BCD se convierten a nuevas
reglas equivalentes para que sólo haya reglas con dos símbolos
No Terminantes del lado derecho.
3) A -> ZXE ahora es 3) A -> ZM, 15) M -> XE
P = { A -> a, E -> b, A-> ZM, A -> ZX, E -> E, G -> g, X -> XE, D -
> eI, X -> h, Y -> b, I -> fG, X -> XE, E -> d, Z -> a, M -> XE}
Paso 3: Donde se tenga un No Terminante que produzca otro No
Terminante (A -> B), se aplica la ley de inferencia ( (p -> q), (q ->
r) -> (p -> r) ). Ninguna regla aplica.
La gramática equivalente resultante es:
∴ P = { A -> a, E -> b, A -> ZM, A -> ZX, X -> XE, X -> h, E -> d,
Z -> a, M -> XE }
G = ( { h, a, b, d}, { X, Z, A, E, M}, A, P)
b) Determinar si las palabras 'abh' y 'ahdbb' pertenecen al lenguaje
generado por la gramática
G. De ser así, elaborar la cadena de derivación para dicha palabra.
1) A -> ZX -> aX -> aXE -> ahE -> ahb abh no es una cadena válida

2) A -> ZX -> aX -> aXB -> aXBB -> aXEBB -> ahEBB -> ahdBB ->
ahdbB -> ahdbb ahdbb es una cadena válida.
7.- Dadas las siguientes gramáticas, indicar de qué tipo son y cómo es
el lenguaje que generan:
Σ ={a,b} ΣN ={S,A}, P= { S::=A| , A::=aAB|ab} λ
L = { anbn | n = 0 ⋎ n = 1} Gramática libre de Contexto (Tipo 2)
Σ ={a,B} ΣN ={S,A}, P= { S::=A| , A::=aA|Ab|a|b} λ
L = {a*b*} Gramática Regular (Tipo 3)
8.- Dados los siguientes lenguajes, diseñar una gramática que los
genere:
L1 ={ambn/m n 0} ≥ ≥
G1 = ( {a, b}, {S, A}, S, P1) P1 = { S -> λ | aA, A -> b | ab | aAb }
L2 ={akbman/n=k+m}
G2 = ( {a, b}, {S, A}, S, P2) P2 = { S -> aSa | aAa, A -> bAa | ba }
L3 ={cn+2ª n+1cn| n 1} ≥
9.- Hallar gramáticas que generen los siguientes lenguajes:
L1 :={0m1n : [m,n∈N]∧[m n]},
G1 = ( {0, 1}, {S, A}, S, P1) P1 = {S -> λ | 0A, A -> 1 | 01 | 0A1 }
L ≥ 2:={0k1m2n : [n,k,m∈N]∧[n=k+m]}.
G2 = ( {0, 1}, {S, A}, S, P2) P2 = { S -> 0S2 | 0A2, A -> 1A2 | 12 }
10.- Clasificar las siguientes gramáticas en términos de la jerarquía de
Chomsky. Tratar de analizar los
lenguajes generados por ellas y definirlos por compresión.
a) P :={Q0 →λ | A,A→c | AA}, V :={Q0,A}, :={c}. Σ
L = {c*} Gramática Libre de Contexto (Tipo 2)
b) P :={Q0 →λ | A,A→Ad | cA | c | d}, V :={Q0,A}, :={c,d}. Σ
L = {c*d*} Gramática Libre de Contexto (Tipo 2)
c) P :={Q0 →c | Q0cQ0}, V :={Q0}, :={c}. Σ
L = {c(cc)*} Gramática Libre de Contexto (Tipo 2)
d) P :={Q0 →c | AcA,A→cc |cAc,cA→cQ0}, V :={Q0,A}, :={c}. Σ
L = {c, cm | m >= 4} Gramática Sensible al Contexto (Tipo 1)
e) P:={Q0→AcA,A→0,Ac→AAcA | ABc | AcB,B→B | AB}, V :=
{Q0,A,B}, := {0,c}.
L = {0nc0n | n > 0} Gramática Sensible al Contexto (Tipo 1)