INF 154 UMSA MLS

Sea GLC-G =(V,T,S,P) se pide simplificar:

P:

S ->aBDC|bA|B
A -> b|aS |bAA|λ
B -> a|bS|aBB
C -> ABD|c|λ
D ->dDD
E ->G
F ->DF | aF
G ->d

ELIMINAR SIMBOLOS INUTILES

Primer conjunto
V’={A, B, C, G}
P’:
A -> b||λ
B -> a
C -> c|λ
G ->d
Segundo Conjunto
V’={A, B, C, G} U {S,E}
P’:
S -> bA |B
A -> b|aS|bAA|λ
B -> a |bS |aBB
C -> c|λ
E ->G
G ->d

S ->aBDC|bA|B
A -> aS |bAA
B -> a|bS|aBB
C -> ABD|c|λ
D ->dDD
E ->G
F ->DF | aF
G ->d
INF 154 UMSA MLS

LA GLC equivalente es G
V’={A, B, C, G,S,E}
P’:
S -> bA |B
A -> b|aS|bAA|λ
B -> a |bS |aBB
C -> c|λ
E ->G
G ->d
ELIMINAR INACCESIBLES

V’={S} U {A, B}
P:
S -> bA |B
A -> b|aS|bAA|λ
B -> a |bS |aBB

S=>B=>a
S=> bA=> bλ= b
S=> B=>aBB=>aaB=>aaa
L={a, b, aaa, .. }

ELIMINAR BORRADORAS

V’={S} U {A, B}
P:
S -> bA |B
A -> b|aS|bAA|λ
B -> a |bS |aBB

Conjunto anulable C0={A}

m=1 => 21=2 S -> bA => S-> b | bA

S -> B
A -> b
A-> aS
m=2 => 22=4 A->bAA => A-> b | bA|bA|bAA
B -> a
B->bS
B->aBB
Eliminando producciones borradoras nos queda la siguiente GLC

S-> b | bA| B
A -> b | aS |b | bA|bA|bAA
INF 154 UMSA MLS

B -> a |bS | aBB

ELIMINAR UNITARIAS O RENOMBRADORAS

P:

S-> b | bA| B
A -> b | aS |b | bA|bA|bAA
B -> a |bS | aBB

Conjuntos unitarios
U(S)= {S, B}
U(A) = {A}
U(B) = {B}

A todos los símbolos y producciones de conjuntos con un solo símbolo

V’ ={A, B}
P:
S-> b | bA| a |bS | aBB (5 prod)
A -> b | aS |b | bA|bA|bAA (6 prod)
B -> a |bS | aBB (3 prod)
Total 14 producciones

Eliminando las producciones repetidas

S-> b | bA| a |bS | aBB (5 prod)
A -> b | aS |bA|bAA (4 prod)
B -> a |bS | aBB (3 prod)
Total 12 producciones

L={a, b, aaa, .. }
S=>aBB=>aaB=>aaa

Presenciales
Martes 24 de enero segundo parcial
Miércoles 25 de enero examen final
Jueves 26 de enero proyectos
Viernes 27 de enero notas y ex recuperatorio (examen a recuperar primer o segundo NO Final)