Tema 8 Gramaticas Contexto Libre

UNIVERSIDAD DE CÓRDOBA
ESCUELA POLITÉCNICA SUPERIOR

DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO
INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS

SEGUNDO CURSO, SEGUNDO CUATRIMESTRE
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
Tema 8.-
8.- Gramáticas de Contexto Libre
Teoría de Autómatas y Lenguajes Formales Tema 8.- Gramáticas de Contexto Libre
Ejemplo de Gramática de Contexto Libre

G 1 = (VN, VT, P1, S)
P1={
(1) S → identificador = E
(2) E → E + E
(3) E → E ∗ E
(4) E → ( E )
(5) E → identificador
(6) E → número
}
2
Ejemplo de Gramática de Contexto Libre

G 2= (VN, VT, P2, S)
P 2= {
S → mientras C hacer S fin mientras
S → si C entonces S fin si
S → si C entonces S si no S fin si
S → Asignación
C → Condición
}
3
Ejemplo de Derivación con la gramática G 1
S ⇒1 identificador = E
⇒2 identificador = E + E
⇒3 identificador = E + E ∗ E
⇒6 identificador = E + número ∗ E
⇒5 identificador = E + número ∗ identificador
⇒5 identificador = identificador + número ∗ identificador
4
Árbol sintáctico de derivación
5
Lenguaje generado por una gramática de

contexto libre
G 3= (VN, VT, P3, S)

P 3= {
(1) S → a A a
(2) A → a A a
(3) A → b B b
(4) B → b B b
(5) B → c
}
6
Lenguaje generado por una gramática de

contexto libre
L(G 3) = { a i b j c b j a i| i, j , > 0 } , palíndromo impar
S ⇒1 a A a
⇒2 a a A a a
⇒3 a a b B b a a
⇒4 a a b b B b b a a
⇒5 a a b b c b b a a
7
Ambigüedad
• Definición
• Gramática de las expresiones aritméticas
• Problema del “else danzante”
• Lenguajes “intrínsecamente” ambiguos
8
Ambigüedad
• Definición
G es una gramática ambigua si ∃ x ∈ VT* que posee
o dos derivaciones por la izquierda diferentes
o dos derivaciones por la derecha diferentes
o dos árboles sintácticos diferentes
9
Ambigüedad: expresiones aritméticas

Gramática ambigua
G 1 = (VN, VT, P1, S)

P1={
(2) E → E + E
(3) E → E ∗ E
(4) E → ( E )
(5) E → identificador
(6) E → número
}
10

Primera derivación por la izquierda
⇒2 identificador = E + E
⇒5 identificador = identificador + E
⇒3 identificador = identificador + E ∗ E
⇒6 identificador = identificador + número ∗ E
11

Segunda derivación por la izquierda
⇒2 identificador = E ∗ E
⇒3 identificador = E + E ∗ E
⇒5 identificador = identificador + E ∗ E
⇒5 identificador = identificador + número ∗ E
12

Árbol de la primera derivación por la izquierda
13

Árbol de la segunda derivación por la izquierda
14

Gramática que no es ambigua
G 4 = (VN, VT, P4, S)

P 4= {
(2) E → E + T
(3) E → T
(4) T → T ∗ F
(5) T → F
(6) F → ( E )
(7) F → identificador
(8) F → número
} 15

Derivación por la izquierda con la gramática G4
⇒2 identificador = E + T
⇒3 identificador = T + T
⇒5 identificador = F + T
⇒7 identificador = identificador + T
⇒4 identificador = identificador + T ∗ F
⇒5 identificador = identificador + F ∗ F
⇒8 identificador = identificador + número ∗ F
⇒7 identificador = identificador + número ∗ identificador 16

Árbol de derivación por la izquierda de G4
17
Ambigüedad: problema del “else danzante”

P={…
(1) S → if C S
(2) S → if C S else S
(3) S → I
…}
1. Primera derivación por la izquierda
S ⇒1 if C S ⇒2 if C if C S else S
2. Segunda derivación por la izquierda
S ⇒2 if C S else S ⇒1 if C if C S else S
18
Ambigüedad: problema del “else danzante”

Árbol de la 1ª derivación
Árbol de la 2ª derivación
19
Ambigüedad: posible solución del problema del

“else danzante”
P={…
(1) S → S1
(2) S → S2
(3) S1 → if C S1 else S1
(4) S1 → I
(5) S2 → if C S
(6) S2 → if C S1 else S2
…
} 20
Ambigüedad: posible solución del problema del

“else danzante”
Derivación
Árbol sintáctico
S ⇒2 S2
⇒5 if C S
⇒1 if C S1
⇒3 if C if C S1 else S2
21
Ambigüedad
Lenguaje intrínsecamente ambiguo
L = {a i b i c j | i, j ≥ 1} ∪ {a i b j c j |i, j ≥ 1}
P 5= {
(1) S → AC (6) C → c
(2) S → BD (7) B → a B
(3) A → a A b (8) B → a
(4) A → a b (9) D → b D c
(5) C → c C (10) D → b c
}
22
Ambigüedad:: lenguaje intrínsecamente ambiguo

Primera derivación por la izquierda
S ⇒1 A C
⇒4 a b C
⇒6 a b c
Segunda derivación por la izquierda

S ⇒1 A C
⇒4 a b C
⇒6 a b c
23
Vacuidad del lenguaje generado por una gramática de contexto libre

[1] inicio
[2] Viejo ← ∅
[3] Nuevo ← {A|A → x ∈ P ∧ x ∈VT ∗ }
[4] mientras (Nuevo ≠ Viejo) ∧ ( S ∉ Nuevo) hacer
[5] Viejo ← Nuevo
[6] Nuevo ← V iejo ∪ {A|A → α ∈ P ∧ α ∈ (VT ∪ V iejo) ∗}
[7] fin mientras
[8] si S ∈ Nuevo
[9] entonces escribir (“La gramática genera un lenguaje no vacío”)
[10] si no escribir (“La gramática genera un lenguaje vacío”)
[11] fin si
[12] fin
24
Vacuidad del lenguaje generado por una gramática de contexto libre

Ejemplo de aplicación del algoritmo
P6 = {
(1) S → A b a
(2) A → B D b
(3) A → E B
(4) B → C D
(5) C → a b
(6) C → a A
(7) D → b Como S ∈ Nuevo
(8) E → S a
}
L(G) ≠ ∅
25
Algoritmo de Supresión de símbolos no generadores

• Entrada: G = (V N, VT , P, S)
• Salida: G ’ = (V ’N, VT , P ’, S) sin símbolos no generadores
[1] inicio
[2] Viejo ← ∅
[3] Nuevo ← {A|A ∈ VN ∧ ∃A → x ∈ P ∧ x ∈ V T∗ }
[4] mientras (Nuevo ≠ V iejo) hacer
[5] Viejo ← Nuevo
[6] Nuevo ← Viejo ∪ {A|A ∈ VN ∧∃ A → α∈ P ∧ α ∈ (V iejo ∪ VT ) ∗ }
[7] fin mientras
[8] V ’N ← Nuevo
[9] P ’ ← {A →α| A → α ∈ P ∧ A ∈ V ’N ∧ α ∈(V ’ N ∪ VT ) ∗ }
[10] fin 26
Aplicación del algoritmo de supresión de símbolos no generadores

P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a
(9) F → a D
} 27

P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a
D y F no son generadores
(9) F → a D
} 28

Gramática de contexto libre G’7 sin símbolos no generadores
P’7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(6) C → b
(8) E → c a
}
29
Algoritmo de Supresión de símbolos no accesibles

• Entrada: G’ = (V ’N , VT , P’, S) sin símbolos no generadores
• Salida: G’’ = (V ’’N, V ’T , P ’’, S) sin símbolos no generadores o no accesibles
[1] inicio
[2]
[2] Viejo ← {S}
[3] Nuevo ← Viejo ∪ {X|X ∈ (V ‘N ∪ V T ) ∧ ∃ S → α X β ∈ P ’∧ α, β ∈ (V ’N ∪ V T ) ∗ }
[4] mientras (Nuevo ≠ Viejo) hacer
[5] Viejo ← Nuevo
[6] Nuevo ← Viejo ∪ {X|∃A → α X β ∈ P ’ ∧ A ∈ Viejo ∧
[7] X ∈ (V ’N ∪ V T ) ∧ α, β ∈ (V ’N ∪ V T ) ∗}
[8] fin mientras
[9] V ’’ N ← Nuevo ∩ V ’ N
[10] V ’T ← Nuevo ∩ V T
[11] P’’ ← {A → α | A → α ∈ P ’∧ A ∈ V ’’ N ∧ α ∈ (V ’’ N ∪ V ’ T ) ∗ }
[12] fin 30
Aplicación del algoritmo de Supresión de símbolos

no accesibles
P’7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(6) C → b
(8) E → c a
}
31
Aplicación del algoritmo de Supresión de símbolos

no accesibles
P’7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(6) C → b
(8) E → c a E y c no son accesibles
}
32
Gramática de contexto libre G’’7

sin símbolos no accesibles
P’’7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(6) C → b
}
33
Correcta eliminación de símbolos inútiles
1. Eliminación de símbolos no generadores

2. Eliminación de símbolos no accesibles
• Observación
o Si estos pasos se aplican en orden inverso
entonces no se garantiza que se eliminen
todos los símbolos inútiles
34
Aplicación incorrecta de los algoritmos de supresión de símbolos

inútiles
P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a
(9) F → a D
35
}

inútiles
P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a • Observación
(9) F → a D o No se elimina ningún símbolo
36
}

inútiles
P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a
(9) F → a D
37
}

inútiles
P7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(5) B → D b E
(6) C → b
(7) D → F b
(8) E → c a D y F no son generadores
(9) F → a D
38
}

inútiles
P ’7 = {
(1) S → A B
(2) S → A b
(3) A → a C
(4) B → b C a
(6) C → b
(8) E → c a
} • Observación
o E y c se convierten en no accesibles
39
Algoritmo de Obtención de los símbolos anulables

• Entrada: G’ = (V ’N , VT , P’, S) sin símbolos inútiles
• Salida: conjunto de símbolos anulables
[1] inicio
[2] Viejo ← ∅
[3] Nuevo ← {A|A ∈ V N ∧ ∃ A → ε ∈ P }
[5] Viejo ← Nuevo
[6] Nuevo ← Viejo ∪ {A|A ∈ V N ∧ ∃ A → α ∈ P ∧ α ∈ Viejo * }
[7] fin mientras
[8] Anulables ← Nuevo
[9] fin
40
Aplicación del algoritmo de Obtención de los símbolos anulables

P8={
(1) S → A D (2) S → B
(3) A → C D E
(4) B → C E
(5) C → S (5) C → a (7) C → ε
(8) D → A (9) D → b
(10) E → S (11) E → a (12) E → ε
}
41
Gramática sin ε
• No posee reglas - ε
• o sólo posee la regla S ε y S no aparece en la parte derecha de
ninguna regla de producción
42
Algoritmo de Obtención de Gramática sin ε

• Entrada:
o G = (V N , VT , P , S) sin símbolos inútiles
o El conjunto de símbolos anulables de G
• Salida: G’= (V ’N , VT , P’ , S’ ) gramática sin ε
43
Algoritmo de Obtención de Gramática sin ε

[1] inicio
[2] P ‘← {A → α | A → α ∈ P ∧ α ≠ ε ∧ α no contiene ningún símbolo anulable }
[3] para (A → α ∈ P ∧ α contiene algún símbolo anulable ) hacer
[4] si α = α0 B1 α1 … Bk αk
[5] ∧ ∀ i (Bi ∈ Anulables y αi no contiene símbolos anulables)
[6] entonces
[7] P ’ ← P’ ∪ {A → α0 X1 α1 … Xk αk |
[8] ∀ i (Xi = Bi ∨ Xi = ε) ∧ α0 X1 α1 … Xk αk ≠ ε }
[9] fin si
[10] fin para
[11] si S ∈ Anulables entonces
[12] V ’N ← V ’N ∪ { S’}
[13] P ’ ← P ’ ∪ { S’ → ε, S’ → S}
[14] fin si
[15] fin 44
Aplicación del algoritmo de Obtención de Gramática sin ε
P8={
(1) S → A D (2) S → B
(3) A → C D E
(4) B → C E
(5) C → S (6) C → a (7) C → ε
(8) D → A (9) D → b
(10) E → S (11) E → a (12) E → ε
}
45

• Obtención de los símbolos anulables
P8={
(1) S → A D (2) S → B
(3) A → C D E
(4) B → C E
(5) C → S (6) C → a (7) C → ε
(8) D → A (9) D → b
(10) E → S (11) E → a (12) E → ε
}
Anulables = {S, B, C, E} 46

•Paso
Paso 0: inclusión de las reglas que no contienen símbolos anulables y que no
son reglas ε
P’8={
(1) S → A D
(6) C → a
(8) D → A (9) D → b
(11) E → a
}
47

•Paso
Paso 1: inclusión de las reglas que se generan a partir de (2) S → B
P’8={
(1) S → A D (2) S → B
(6) C → a
(8) D → A (9) D → b
(11) E → a
}
•Observación
La regla S → ε no se añade
48

•Paso
Paso 2: inclusión de las reglas que se generan a partir de (3) A → C D E
P’8={
(1) S → A D (2) S → B
(3) A → C D E
(3a) A → D E (3b) A → C D (3c) A → D
(6) C → a
(8) D → A (9) D → b
(11) E → a
}
49

•Paso
Paso 3: inclusión de las reglas que se generan a partir de (4) B → C E
P’8={
(1) S → A D (2) S → B
(3) A → C D E
(3a) A → D E (3b) A → C D (3c) A → D
(4) B → C E (4a) B → E (4b) B → C
(6) C → a
(8) D → A (9) D → b
(11) E → a •Observación
} La regla B → ε no se añade 50

•Paso
Paso 3: inclusión de las reglas que se generan a partir de (5) C → S
P’8={
(1) S → A D (2) S → B
(3) A → C D E
(3a) A → D E (3b) A → C D (3c) A → D
(4) B → C E (4a) B → E (4b) B → C
(6) C → a (5) C → S
(8) D → A (9) D → b
(11) E → a •Observación
La regla C → ε no se añade
} 51

•Paso
Paso 3: inclusión de las reglas que se generan a partir de (10) E → S
P’8={
(1) S → A D (2) S → B
(3) A → C D E
(3a) A → D E (3b) A → C D (3c) A → D
(4) B → C E (4a) B → E (4b) B → C
(6) C → a (5) C → S
(8) D → A (9) D → b •Observación
(11) E → a (10) E → S La regla E → ε no se añade
} 52

•Paso
Paso final: como el símbolo S es anulable, se añaden dos reglas más
P ’ 8 = { (1’) S’ → S (1’’) S’ → ε
(1) S → A D (2) S → B
(3) A → C D E
(3a) A → D E (3b) A → C D (3c) A → D
(4) B → C E (4a) B → E (4b) B → C
(6) C → a (5) C → S
(8) D → A (9) D → b
(11) E → a (10) E → S
} 53

•Resultado
Resultado final
P ’ 8 = { (1) S’ → S (2) S’ → ε
(3) S → B (4) S → A D
(5) A → C D E (6) A → D E
(7) A → C D (8) A → D
(9) B → C E (10) B → E (11) B → C
(12) C → a (13) C → S
(14) D → A (15) D → b
(16) E → a (17) E → S
} 54
Eliminación de reglas unitarias

Regla unitaria: A → B donde A , B ∈ VN
G 4 = (VN, VT, P4, S)

P 4= {
(2) E → E + T
(3) E → T
(4) T → T ∗ F
(5) T → F
(6) F → ( E )
(8) F → número
}
55

Uso de las reglas unitarias
⇒3 identificador = T + T
⇒5 identificador = F + T
⇒7 identificador = identificador + T
⇒5 identificador = identificador + F ∗ F
⇒8 identificador = identificador + número ∗ F
56
57
Las reglas unitarias

(3) E → T
y (5) T → F
pueden ser sustituidas por las reglas
E → identificador
E → número
T → identificador
T → número
58

⇒ identificador = identificador + T
⇒ identificador = identificador + número ∗ F
Derivación sin reglas unitarias
59
E T
T F
identificador = identificador + número * identificador

60
• Algoritmo para obtener los símbolos no terminales

accesibles mediante reglas unitarias
• Algoritmo para eliminar las reglas unitarias
61
Algoritmo para obtener los símbolos no

terminales accesibles mediante reglas unitarias
[1] inicio
[2] Viejo ← ∅
[3] Nuevo ← {A}
[5] Viejo ← Nuevo
[6] Nuevo ← Viejo ∪ {B | A → B ∈ P ∧ A ∈Viejo}
[7] fin mientras
[8] NA ← Nuevo
[9] fin
62

P 4= {
(1) S → identificador = E Cálculo de NE
(2) E → E + T
(3) E → T
(4) T → T ∗ F
(5) T → F
(6) F → ( E )
NS = {S}
(8) F → número
NE = {E,T,F}
} NT = {T,F}
NF = {F}
63
Algoritmo para eliminar las reglas unitarias

• Entrada: G = (V N , VT , P , S) sin símbolos inútiles y NA ∀ A∈ V N
• Salida: G’= (V ’N , VT , P’ , S’ ) gramática sin reglas unitarias
[1] inicio
[2] P’←∅
[3] para cada (A∈ V N ) hacer
[4] para cada (B ∈ N A ) hacer
[5] si B → α es no unitaria entonces
[6] P’ ← P’ ∪ {A → α }
[7] fin si
[8] fin para
[9] fin para
[10] V ’N ← {A | A ∈ V N ∧ ∃ A → α ∈ P’}
[11] fin
64
Ejemplo de eliminación de reglas unitarias

G 4 = (VN, VT, P4, S)
P 4= {
(1) S → identificador = E NS = {S}
(2) E → E + T NE = {E,T,F}
(3) E → T
NT = {T,F}
(4) T → T ∗ F
NF = {F}
(5) T → F
(6) F → ( E )
(8) F → número
}
65

Reglas de S
P’ 4 = {
(1) S → identificador = E NS = {S}
}
66

Reglas de E
P ’ 4= {
(1) S → identificador = E NE = {E,T,F}
(2) E → E + T
(3a) E → T * F
(3b) E → ( E ) (3c) E → identificador (3d) E → número
}
67

Reglas de T
P ’4 = {
(1) S → identificador = E NT = {T,F}
(2) E → E + T
(3a) E → T * F
(4) T → T ∗ F
(4a) T → ( E ) (4b) T → identificador (4c) T → número
}
68

Reglas de F
P ’4 = {
(1) S → identificador = E NF = {F}
(2) E → E + T
(3a) E → T * F
(4) T → T ∗ F
(4a) T → ( E ) (4b) T → identificador (4c) T → número
(6) F → ( E )
(8) F → número
} 69

• Observación
• Al eliminar las reglas unitarias, pueden surgir símbolos inútiles
• Ejemplo: gramática sin épsilon
P={ NS’ = {S’, S, B , C, E}
S' → ε| S
NS = {S, B, C, E}
S→AD|B
A→CDE|DE|CD|D NA = {A, D}
B→CE|E|C NB = {S, B, C, E}
C→S|a
NC= {S’, S, B , C, E}
D→A|b
E→S|a ND= {A,D}
} NE= {S, B, C, E} 70
P' = {
S' → ε| A D | C E | a | c
S→AD|CE|a|c
A→CDE|DE|CD|b
B→CE|AD|a|c •Observación
C→AD|CE|a|c
•Símbolos no accesibles:
D→CDE|DE|CD|b
•S y B
E→AD|CE|a|c
• No están en la parte
} derecha de ninguna regla
71
RECURSIVIDAD POR LA IZQUIERDA

Gramática que genera asignaciones múltiples
P={
(1) S → L E
(2) L → L identificador =
(3) L → identificador =
(4) E → E + T
...
}
72

Gramática que genera asignaciones múltiples
P={
(1) S → L E
(2) L → L identificador =
(3) L → identificador =
(4) E → E + T Ejemplo de derivación
... S ⇒1 L E
} ⇒2 L identificador = E
⇒3 identificador = identificador = E
73

•Gramática que genera lista de parámetros de un procedimiento o función:
P= {
S → identificador ( L )
L → L , identificador
L → identificador
...
}
• Gramática que genera componentes de un array de varias dimensiones:
P ={
S → identificador D
D → D [ número ]
D → [ número]
...
} 74
• Eliminación de la recursividad inmediata por la izquierda
• Eliminación de la recursividad general por la izquierda
75
Eliminación de la recursividad por la izquierda

• Entrada: G = (V N , VT , P , S) con recursividad inmediata por la izquierda
• Salida: G’= (V ’N , VT , P’ , S’ ) sin reglas recursivas por la izquierda
[1] inicio
[2] P' ← ∅
[3] para A ∈ V N hacer
[4] si A no tiene producciones recursivas
[5] entonces P’ ← P’ ∪ {A → α | A → α ∈ P}
[6] si no
[7] si A → A α1| A α2 | ...| A αp | β1 | β2 | ...| β q ∈ P
[8] donde ∀i∈{1, ...,p} αi ≠ ε ∧ ∀j ∈{1, ...,q} β j no empieza por A
[9] entonces
[10]
10] P’ ← P’ ∪ {A → βj , A → β j A’ | ∀j ∈{1, ...,q}
[11]
11] ∪ {A’ → α i , A’→ α i A’ | ∀i ∈{1, ...,p} }
[12]
12] donde A' es un nuevo símbolo no terminal
[13]
13] fin si
[14]
14] fin si
[15]
15] fin para
76
[16]
16] fin

Ejemplo de eliminación de la recursividad inmediata
P={
S → identificador = E
E → E + T | T * F | ( E ) | identificador
dentificador | número
T → T ∗ F | ( E ) | identificador | número
F → ( E ) | identificador | número
}
77

Regla de S
P’ = {
}
78

Reglas de E
P ’= {
E → T * F | ( E ) | identificador
dentificador | número |
T * F E’ | ( E ) E’ | identificador
dentificador E’ | número E’
E’ → + T | + T E’
}
79

Reglas de T
P ’= {
E’ → + T | + T E’
T → ( E ) | identificador | número
( E ) T ’ | identificador T ’| número T ’
T’→∗F|∗FT’
}
80

Reglas de F
P ’= {
E’ → + T | + T E’
T → ( E ) | identificador | número
( E ) T ’ | identificador T ’| número T ’
T ’→ ∗ F | ∗ F T ’
} 81

Derivación con la gramática original
S ⇒ identificador = E
⇒ identificador = E + T
⇒ identificador = identificador + identificador
Derivación con la gramática sin recursividad por la
izquierda
S ⇒ identificador = E
⇒ identificador = identificador E'
⇒ identificador = identificador + identificador 82
Eliminación de la recursividad general por la

izquierda
• Entrada: G = (V N , VT , P , S) gramática de contexto libre propia,
propia es decir, sin ciclos, sin reglas
épsilon ni símbolos inútiles.
• Salida: G’= (V ’N , VT , P’ , S’ ) sin recursividad por la izquierda
[1] inicio
[2] P' ← ∅
[3] Ordénense los símbolos de V N = {A1, A2, …, An}
[4] para i de 1 a n hacer
[5] para j de 1 a i -1 hacer
[6] si A i → A j α ∈ P
[7] entonces
[8] P’ ← P’ ∪ {Ai → β k α | A j → β k es una regla actual de A j }
[9] fin si
[10]
10] fin para
[11]
11] Eliminar la recursividad inmediata de Ai
[12]
12] fin para
[13]
13] fin 83

Ejemplo de eliminación de la recursividad general
P={
(1) S → A B
(2) S → c
(3) A → B b
(4) A → S d
(5) A → a
(6) B → S b
(7) B → A a
} 84

P={
(1) S → A B
(2) S → c •Ordenamiento de los símbolos no terminales: {S, A, B}
(3) A → B b
(4) A → S d
(5) A → a
(6) B → S b
(7) B → A a
} 85

•Paso exterior 1: reglas de S
o Paso interior 1: S no tiene ninguna producción que comience por
un símbolo con un número de orden inferior al suyo.
o Eliminación de la recursividad inmediata: S no tiene
recursividad inmediata por la izquierda.
P’ = {
S→AB |c
}
86

•Paso exterior 2: reglas de A
oPaso interior 1: la regla número (4) A → S d se sustituye por las
reglas A → A B d | c d
quedando las reglas de A de la siguiente forma:
A→ABd|Bb|cd|a
o Eliminación de la recursividad inmediata:
A → B b | c d | a | B b A' | c d A' | a A'
A' → B d | B d A’
87

P’ = {
S→AB | c
A → B b | c d | a | B b A' | c d A' | a A'
A' → B d | B d A’
}
88

•Paso exterior 3: reglas de B
o Paso interior 1: la regla (6) B → S b se sustituye por las reglas
B→ABb|cb
quedando las reglas de B de la siguiente forma:
B→ABb|cb|Aa
89

oPaso interior 2: la regla B → A B b se sustituye por las reglas
B→BbBb|cdBb|aBb|
B b A' B b | c d A' B b | a A' B b
y la regla B → A a se sustituye por las reglas
B → B b a | c d a | a a | B b A' a | c d A' a | a A' a
quedando las reglas de B de la siguiente forma:
B → B b B b | B b A' B b | B b a | B b A' a |
c d B b | a B b | c d A' B b | a A' B b |
b a | c d a | a a | c d A' a | a A' a |
cb 90

o Eliminación de la recursividad inmediata:
B → c d B b | a B b | c d A' B b | a A' B b |
b a | c d a | a a | c d A' a | a A' a |
cb|
c d B b B' | a B b B' | c d A' B b B' | a A' B b B' |
b a B' | c d a B' | a a B' | c d A' a B' | a A' a B' |
c b B'
B' → b B b | b A' B b | b a | b A' a |
b B b B' | b A' B b B' | b a B' | b A' a B'
91

P’ = {
S→AB | c
A → B b | c d | a | B b A' | c d A' | a A'
A' → B d | B d A’
B → c d B b | a B b | c d A' B b | a A' B b | b a | c d a | a a | c d
A' a | a A' a | c b | c d B b B' | a B b B' | c d A' B b B' |
a A' B b B' | b a B' | c d a B' | a a B' | c d A' a B' |
a A' a B' | c b B'
B' → b B b | b A' B b | b a | b A' a | b B b B' | b A' B b B' | b a B' |
b A' a B'
} 92
Factorización por la izquierda

• Considérense las reglas
S → si E entonces S si no S fin si | si E entonces S fin si
• Al leer el componente léxico si no se sabe aún qué regla elegir para expandir la
sentencia S
• En general,
oSi A tiene dos reglas de la forma A → α β1 | α β2
oy la cadena a analizar comienza por una cadena no vacía derivada a
partir de α, no se sabe si expandir A a α β1 o a α β 2
o Por tanto, se hace la siguiente transformación
A → α A’
A’ → β1 | β2
93

• Entrada: G = (V N , VT , P , S) gramática de contexto libre propia
• Salida: G’= (V ’N , VT , P’ , S’ ) gramática factorizada por la izquierda
[1] inicio
[2] para (A∈ V N ) hacer
[3] mientras A tenga dos reglas actuales con el mismo prefijo hacer
[4[ si α es el prefijo más largo de dos o más alternativas de A y α ≠ε
[5] entonces sustituir todas las reglas
[ 6] A → α β1 | α β2 | …. | α βp | γ1 | ...| γq
[ 7] donde ∀ i ∈ {1, …q} γi no empieza por α
[88] por las reglas A → α A’ | γ1 | ...| γq
[ 9] A’ → β1 | β2 | … | βp
[10]
10] fin si
[11]
11] fin mientras
[12]
12] fin para
94
[13]fin
13]fin
Ejemplo
P={
S→ABc|ABde|ABdf|ABS
A→a
B→b
}
95

Ejemplo
• Reglas de S
S→ABc|ABde|ABdf|ABS
o α 1 = A B d es el prefijo más largo de dos reglas de S.
o Las reglas de S se sustituyen por las siguientes:
S → A B d S' | A B c | A B S
S' → e | f
o α 2 = A B es ahora el prefijo más largo de tres producciones actuales de S.
o Por tanto, las reglas de S se sustituyen por las siguientes:
S → A B S''
S'' → d S' | c | S
S' → e | f
• Las reglas de A y B no requieren ser factorizadas

96
Eliminación de la recursividad inmediata y

factorización por la izquierda
•Entrada: G = (V N , VT , P , S) con recursividad inmediata por la izquierda
• Salida: G’= (V ’N , VT , P’ , S’ ) sin reglas recursivas por la izquierda y factorizada por la izquierda
[1] inicio
[2] P' ← ∅
[3] para A ∈ V N hacer
[4] si A no tiene producciones recursivas
[5] entonces P’ ← P’ ∪ {A → α | A → α ∈ P}
[6] si no si A → A α1| A α2 | ...| A αp | β1 | β2 | ...| β q ∈ P
[7] donde ∀i∈{1, ...,p} αi ≠ ε ∧ ∀j ∈{1, ...,q} β j no empieza por A
[8] entonces P’ ← P’ ∪ { A → β j A’ | ∀j ∈{1, ...,q}
[9] ∪ {A’ → αi A’ , A’ → ε | ∀i ∈{1, ...,p} }
[10]
10] donde A' es un nuevo símbolo no terminal
[11]
11] fin si
[12]
12] fin si
[13]
13] fin para
[14]
14] fin 97

Ejemplo: gramática sin reglas unitarias
P ={
E → E + T | T * F | ( E )| identificador | número
T → T ∗ F | ( E )| identificador | número
}
98

Ejemplo: gramática factorizada y sin recursividad
inmediata por la izquierda
P' = {
E → T * F E' | ( E ) E' | identificador E' | número E'
E' → + T E' | ε
T → ( E ) T' | identificador T' | número T'
T' → * F T' | ε
}
99
Formas normales de las

gramáticas de contexto libre
• Forma normal de Chomsky: FNC
A→BC
A→a
donde A, B, C ∈ VN y a ∈ VT
• Forma normal de Greibach: FNG

A→aα
donde α ∈ VN*
100
Forma normal de Chomsky

P ={
Árbol binario
(1) S → A B
(2) A → A B
(3) A → a
(4) B → B B
(5) B → b
}
S ⇒1 A B ⇒2 A B B
⇒3 a B B ⇒4 a B B B
⇒5 a b B B ⇒5 a b b B ⇒6 a b b b
101

Algoritmo
• Entrada: G = (V N , VT , P , S) gramática de contexto libre propia
• Salida: G’’= (V ’’N , VT , P’’ , S’ ) gramática en la forma normal de
Chomsky
• Paso 1: generación G’ = (V’N, VT,P’,S)
donde las reglas de P’ son de la forma
A → B1 B2 ...Bk donde k ≥ 2
A→a
oL (G’) = L(G) - ε
• Paso 2:
o Generación de G’’ que estará en la forma normal de Chomsky
o L(G’’) = L(G) - ε
102

•Paso
Paso 1: generación G’ = (V’N, VT,P’,S)
o Si A → X1 X2 ...Xk ∈ P
Si k = 1 entonces A → X_1 se añade a P’
Si k ≥ 2 entonces A → B1 B2 ...Bk se añade a P’
donde
- si X i ∈ VN entonces Bi = X i
- si Xi = ai ∈VT entonces Bi es un nuevo símbolo no terminal y
se también añade la regla Bi. → a P’
oSe verifica que L(G’) = L(G) - ε
103

•Paso
Paso 2: generación G’’ = (V’’N, VT,P’’,S)
o Si A → a ∈ P’ entonces A → a ∈ P’’
o Si A → B1 B2 ∈ P’ entonces A → B1 B2 ∈ P’’
oSi A → B1 B2 ...Bk ∈ P’ y k > 2
entonces
A → B 1 C1
C1→ B2 C2
…
Ck-3→ Bk-2 Ck-2
Ck-2→ Bk-1 Bk
oSe verifica que L(G’’) = L(G) - ε
104

Ejemplo
P ={
S→aAB
A→aBb
A→a
B→bb
}
105

Ejemplo
Paso 1:
P ={
P’ = {
S→aAB
S → B1 A B
A→aBb
A → B1 B B2
A→a
A→a
B→bb
B → B2 B2
}
B1 → a
B2 → b
}
106

Ejemplo
Paso 1: Paso 2:
P ={
P’ = { P’’ = {
S→aAB
S → B1 A B S → B1 C1
A→aBb
A → B1 B B2 C1 → A B
A→a
A→a A → B 1 C2
B→bb
B → B2 B2 C2→ B B2
}
B1 → a A→a
B2 → b B → B2 B2
} B1 → a
B2 → b
}
107
Forma normal de Greibach

• Reglas de la forma A → a α donde α ∈ VN*
• Algoritmo
o Paso 1: aplicación del algoritmo que elimina la
recursividad general por la izquierda.
o Paso 2: transformación de las reglas de los símbolos
no terminales de la gramática original.
o Paso 3: transformación de las reglas de los símbolos
no terminales obtenidos al eliminar la recursividad
inmediata por la izquierda.
108

• Entrada: G gramática en la forma normal de Chomsky
• Paso 1: eliminación de la recursividad general por la
izquierda.
o Se generan reglas de producción de la forma:
Ai → Aj γ ∀ j > i ∧ i, j ∈{1,2, ..., n}
Ai → a γ
A’i → γ
donde Ai ,Aj ∈ VN, a ∈ VT
o ∀i∈{1,2,...,n}, A’i ha sido generado al eliminar la
recursividad inmediata por la izquierda de Ai
o γ ∈(VN ∪ {A’1, …, A’n })*.
o En particular, la reglas del símbolo An serán de la forma
An → a γ y ya estarán en la forma normal de Greibach. 109

• Paso 2: transformación de las reglas de los símbolos no
terminales de la gramática original
[1] inicio
[2] para i de n-1 a 1 hacer
[3 ] para j de i+1 a n hacer
[4 ] para cada regla actual de la forma A i → A j γhacer
hacer
[5 ] si A j → a1 α1|a2 α2| …| a p αp son las reglas actuales de Aj
[6 ] entonces Ai → a1 α1 γ |a2 α2 γ | …| ap αp γ
[7 ] pasan a ser reglas actuales de de Ai
[8 ] fin si
[9 ] fin para
[10]
10] fin para
[12]
12] fin para
[13]
13] fin 110

• Paso 2:
o Al finalizar el paso 2, las reglas obtenidas serán de la
forma
Ai → a γ , ∀Ai ∈ VN
A’i → γ
o En particular, la reglas de los símbolos originales ya

estarán en la forma normal de Greibach
111

• Paso 3: transformación de las reglas de los símbolos no
terminales obtenidos al eliminar la recursividad inmediata
[1] inicio
[2] para i de 1 a m hacer
[3 ] para j de 1 a n hacer
[4 ] para cada regla actual de la forma A’ i → A j γhacer
hacer
[5 ] si A j → a1 α1|a2 α2| …| a p αp son las reglas actuales de Aj
[6 ] entonces A’i → a1 α1 γ |a_2 α2 γ | …| ap αp γ
[7 ] pasan a ser reglas actuales de de A’ i
[8 ] fin si
[9 ] fin para
[10]
10] fin para
[12]
12] fin para
[13]
13] fin 112

• Paso 3:
o Al finalizar el paso 3, las reglas obtenidas serán de la
forma
Ai → a γ , ∀Ai ∈ VN
A’i → a γ
o En particular, todas la reglas estarán en la forma

normal de Greibach
113

Ejemplo
• Entrada: gramática en la forma normal de Chomsky
P ={
(1) S → A B
(2) A → S B
(3) A → a
(4) B → B A
(5) B → d
}
114

Ejemplo
• Paso 1: aplicación del algoritmo de eliminación de la
recursividad general
o Reglas de S
La regla de S no necesita transformarse
S→AB
115

Ejemplo
o Reglas de A
Se sustituye S por su alternativa en la regla A → S B
generando la regla: A → A B B
Eliminación de la recursividad por la izquierda de las reglas de
A.
Las reglas actuales de A son A → A B B | a
y las reglas que se generan al eliminar la recursividad inmediata
son:
A → a | a A'
A' → B B | B B A‘ 116

Ejemplo
o Reglas de B
No se tiene que sustituir ningún símbolo en las reglas de B.
Eliminación de la recursividad por la izquierda de las reglas de
B.
Las reglas actuales de B son B → B A | d
y las reglas que se generan al eliminar la recursividad inmendiata
son:
B → d | d B'
B' → A | A B'
117

Ejemplo
• Paso 1: gramática generada
P1 = {
S→AB
A → a | a A'
B → d | d B'
A' → B B | B B A'
B' → A | A B'
}
118

Ejemplo
• Paso 2:
o Las reglas de B ya están en la forma normal de Greibach.
o Las reglas de A ya están en la forma normal de Greibach.
o Se sustituye A por sus alternativas en la regla S → A B
generando las siguientes reglas de S:
S → a B | a A' B
119

Ejemplo
• Paso 2: gramática generada
P2 = {
S → a B | a A' B
A → a | a A'
B → d | d B'
A' → B B | B B A'
B' → A | A B'
}
120

Ejemplo
• Paso 3:
o Trasformación de las reglas de A': A' → B B | B B A'
Se sustituye B por sus alternativas, generándose las siguientes
reglas de A'
A' → d B | d B‘ B | d B A’ | d B' B A’
oTransformación de las reglas de B': B' → A | A B'
Se sustituye A por sus alternativas, generándose las siguientes
reglas de B‘
B' → a | a A’ | a B' | a A' B'
121

Ejemplo
• Paso 3: gramática generada en la forma normal de
Greibach
P3 = {
S → a B | a A' B
A → a | a A'
B → d | d B'
A' → d B | d B‘ B | d B A’ | d B' B A’
B' → a | a A’ | a B' | a A' B‘
}
122
UNIVERSIDAD DE CÓRDOBA
ESCUELA POLITÉCNICA SUPERIOR
DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO
INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS

SEGUNDO CURSO, SEGUNDO CUATRIMESTRE
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
Tema 8.-
8.- Gramáticas de Contexto Libre

Tema 8 Gramaticas Contexto Libre

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 8 Gramaticas Contexto Libre

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE CÓRDOBA

ESCUELA POLITÉCNICA SUPERIOR

INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES

Ejemplo de Gramática de Contexto Libre

Ejemplo de Gramática de Contexto Libre

Ejemplo de Derivación con la gramática G 1

Árbol sintáctico de derivación

Lenguaje generado por una gramática de

G 3= (VN, VT, P3, S)

Lenguaje generado por una gramática de

L(G 3) = { a i b j c b j a i| i, j , > 0 } , palíndromo impar

Ambigüedad: expresiones aritméticas

G 1 = (VN, VT, P1, S)

Ambigüedad: expresiones aritméticas

Ambigüedad: expresiones aritméticas

Ambigüedad: expresiones aritméticas

Ambigüedad: expresiones aritméticas

Ambigüedad: expresiones aritméticas

G 4 = (VN, VT, P4, S)

Ambigüedad: expresiones aritméticas

Ambigüedad: expresiones aritméticas

Ambigüedad: problema del “else danzante”

Ambigüedad: problema del “else danzante”

Ambigüedad: posible solución del problema del

Ambigüedad: posible solución del problema del

Ambigüedad:: lenguaje intrínsecamente ambiguo

Segunda derivación por la izquierda

Vacuidad del lenguaje generado por una gramática de contexto libre

Vacuidad del lenguaje generado por una gramática de contexto libre

Algoritmo de Supresión de símbolos no generadores

Aplicación del algoritmo de supresión de símbolos no generadores

Aplicación del algoritmo de supresión de símbolos no generadores

Aplicación del algoritmo de supresión de símbolos no generadores

Algoritmo de Supresión de símbolos no accesibles

Aplicación del algoritmo de Supresión de símbolos

Aplicación del algoritmo de Supresión de símbolos

Gramática de contexto libre G’’7

Correcta eliminación de símbolos inútiles

1. Eliminación de símbolos no generadores

Aplicación incorrecta de los algoritmos de supresión de símbolos

Aplicación incorrecta de los algoritmos de supresión de símbolos

Aplicación incorrecta de los algoritmos de supresión de símbolos

Aplicación incorrecta de los algoritmos de supresión de símbolos

Aplicación incorrecta de los algoritmos de supresión de símbolos

Algoritmo de Obtención de los símbolos anulables

Aplicación del algoritmo de Obtención de los símbolos anulables

Algoritmo de Obtención de Gramática sin ε

Algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Aplicación del algoritmo de Obtención de Gramática sin ε

Eliminación de reglas unitarias

G 4 = (VN, VT, P4, S)

Eliminación de reglas unitarias

Eliminación de reglas unitarias

Eliminación de reglas unitarias