Facultad de Ingeniera de Sistemas

Lenguajes y Compiladores
Aspectos Formales (Parte 2)

Compiladores
2007
1

Derivaciones

El proceso de bsqueda de un rbol sintctico para una

cadena se llama anlisis sintctico.
El lenguaje generado por una gramtica es igual al
conjunto de cadenas que pueden ser generadas por un
rbol sintctico a travs del uso de las producciones de
esa gramtica..
Se dice que una gramtica es ambigua si para una
misma frase encontramos dos rboles sintcticos
diferentes. Por ejemplo la gramtica G0 es ambigua ya
que para la frase 6 + 9 - 5 podemos graficar dos
rboles sintcticos diferentes. (Cules?)

Compiladores
2007

Definiciones

Podemos definir un lenguaje L(G) como:

L(G) = { | S *
y
T*}
Producciones libres de contexto: tienen la forma
con (N T) *
v
Expresa que un smbolo no terminal v puede ser
sustituido por sin importar el contexto donde
aparece v
Derivaciones por la izquierda (derecha): siempre se reemplaza
el no terminal mas a la izquierda (o ms a la derecha)
Una gramtica independiente del contexto es no ambigua si y
solo si existe una sola derivacin por la izquierda (o por la
derecha) y por ende un solo rbol de anlisis sintctico.

Compiladores
2007

Definiciones

Si:
X * X

se dice que X es recursivo.

Si = se dice que es recursivo por la izquierda.
Si la gramtica tiene un smbolo no terminal
recursivo se dice que la gramtica es recursiva.
La inversa de la derivacin es la reduccin:

es equivalente
puede derivarse directamente de o
puede reducirse directamente a .

Compiladores
2007

*
4

Jerarqua de gramticas

Las gramticas fueron clasificadas de

acuerdo a su complejidad, y a esta
clasificacin se le conoce con el nombre de

Jerarqua de Chomsky

Compiladores
2007

Jerarqua de gramticas
Tipo 0 : sin restricciones
Tipo 1 : sensibles al contexto

Tipo 2 : independiente del contexto

Tipo 3 : regulares

A Ba
A aB

Compiladores
2007

o
o

Aa
Aa

Definicin de CHOMSKY:
Gramtica de un Lenguaje (G)
G = ( N, T, P, S )
Es un cuarteto formado por:
N = Vocabulario No Terminal : Son sentencias que no
pertenecen al lenguaje, pueden ser variables y
nombre de procedimientos, se representan con
letra mayscula.
A
No Terminal
<A>
No Terminal
[A]
No Terminal
Compiladores
2007

Definicin de CHOMSKY
T = Vocabulario Terminal. sentencias que pertenecen al
lenguaje, se representan con minsculas.
<S> if x then <B>
<B> w z
P = Reglas de produccin o Reglas de derivacin.
<S>

do <A> while x
Produce o deriva.

Axioma Principal.
S = Es el axioma principal o smbolo distinguido.
<S> da inicio a las reglas de produccin.
<S> pertenece al vocabulario no terminal.
Compiladores
2007

Definicin de CHOMSKY
Si se tiene las siguientes reglas:
R1 : <S> w x do <A>
R2 : <A> if z then <B> else <C>
R3 : <B> x y z
R4 : <C> a b c
Donde :
N = {<S>, <A>, <B>, <C>}
T = {w, x, do, if }
Compiladores
2007

Tipos de Gramtica
Definicin Chomsky
G = ( N, T, P, S)
Gramtica.- Se clasifica en 4 tipos.
A.
B.
C.
D.

Gramtica Estructura de Base.

Gramtica Sensible al Contexto.
Gramtica de Contexto Libre.
Gramtica Regulares.

Compiladores
2007

Regla de Produccin
10

Tipos de Gramtica
A. Gramtica Estructura de Base Tipo 0.- No
existe restriccin en las Reglas.

donde :

( N U T )+
( N U T )*

Ejemplos :

R1 :
R2 :
R3 :

Compiladores
2007

w x <A> if x then <B>

a b <S > c d a
w a <B>

11

Tipos de Gramtica
B. Gramtica Sensible contexto Tipo 1.

A w

donde :
(NUT)*
W (NUT)+
AN

puede ser nulo.

no puede ser nulo.

Ejemplos :
R1:
R2:
Compiladores
2007

w <A> d abc
<A> a <B>c
12

Tipos de Gramtica
C. Gramtica Tipo 2 contexto Libre.- En la parte
izquierda tiene solo un smbolo del vocabulario no
termina.

donde :
N
(NUT)*

Ejemplos :
R1:
R2:
R3:
R4:
Compiladores
2007

<S> w x d <B>
<B> i x t <A>
<A> s c x <c>
<C>
13

Tipos de Gramtica
D. Gramtica Regular Tipo 3.- En la parte izquierda y
derecha debe existir un No Terminal como mximo
I).Gramticas regulares por la izquierda:
Se dice que G (T, N, P, S) es regular por la izquierda
si cada produccin P tiene la forma
<A> a <B>

o bien

<A> a

donde : <A> N
<B> N*
Compiladores
2007

a T+
14

Tipos de Gramtica
Estas gramticas tambin se conocen como regulares
o de estado finito.
II). Gramticas regulares por la derecha:
Se dice que G (T, N, P, S) es regular por la derecha si
cada produccin P tiene la forma.
<A> <B> a

o bien

<A> a

donde : <A> N
<B> N*
Compiladores
2007

a T+
15

Tipos de Gramtica

En general los lenguajes de programacin no se pueden

expresar totalmente con gramticas regulares, pero

estas gramticas si definen la sintaxis de los
identificadores, nmeros, cadenas, etc.
S aS bB b
B cC
C aS
En compiladores interesan las gramticas tipo 2 y 3.
Con las gramticas tipo 2 se puede controlar la
presencia correcta de pares de smbolos como Begin,
end o parntesis.

Compiladores
2007

16

Tipos de Gramtica

Sin embargo hay caractersticas que no pueden

expresarse a travs de gramticas tipo 2 o 3. Por
ejemplo, para que la instruccin X := B est correcta
es necesario:
 X y B estn declarados
 X y B sean de tipos compatibles
 B tenga un valor definido.
Estas caractersticas se verifican con el analizador
semntico usando la tabla de smbolos.

Compiladores
2007

17

Ejemplo

Ejemplo :
S abc aAbc
Ab bA
Ac Bbcc
bB Bb
aB aa aaA

Ejemplo de cadena:
?
Qu tipo de cadenas genera este lenguaje?

Compiladores
2007

*
18

Lenguaje Definido por una Gramtica

En una gramtica
va producir siempre que se transforme, cambie o se
derive hasta llegar a ser igual a a estos cambios se le
denomina derivacin de longitud.
0 1 2 .. n =
Derivacin de longitud n
cambios

Compiladores
2007

Derivacin de Longitud transitiva

incluye el elemento nulo o Tira a Nulo.

19

Lenguaje Definido por una Gramtica

Definicin de un lenguaje
L(G)= { x /

<S> * x

.and. x T* }

Un lenguaje definido por una gramtica G est

compuesto por smbolos x, tal que x es la tira de
smbolos terminales o sentencia del lenguaje L(G) que
se obtiene al seguir una serie de derivaciones directas
partiendo de <S>
Ejemplo
Un lenguaje tiene las siguientes reglas.
Compiladores
2007

R1:

<S> while <A> end

R2:

<A> while end

20

Lenguaje Definido por una Gramtica

A.

Determine si while while end end pertenece al

lenguaje
L(G)= {x / <S> * x .and. x T* }
X elemento terminal que se analiza

Solucin. Se parte de L(G)

R1

<S> while <A> end

xR2

<S> while while end end

while while end end L(G)

Compiladores
2007

21

Ejercicio
1. Se tienen las siguientes reglas.
R1:

<S> a <B>

R2:

<S> b <A>

R3:

<A> a

R4:

<A> a <S>

R5:

<A> b <A> <A>

R6:

<B> b

R7:

<B> b <S>

R8:

<B> a <B> <B>

a)

a b a a a b

R9:

< B>

b)

b a a a a b b

Compiladores
2007

Determine si Pertenece L (G)

22

a. Determine si abaaab pertenece L(G)

Solucin:
R1 :

<S> a <B>

XR7 :

<S> ab <S>

XR1

<S> aba <B>

XR8

<S> abaa <B> <B>

XR8

<S> abaaa <B> <B> <B>

XR6

<S> abaab <B> <B>

XR9 x R9 :
Compiladores
2007

<S> abaaab
abaaab L (G)

23

b. Determine si baaaabb pertenece L(G)

Solucin:
xR2:

<S> b <A>

xR4:

<S> ba <S>

xR1:

<S> baa <B>

xR8:

<S> baaa <B> <B>

xR8:

<S> baaaa <B> <B> <B>

xR6 xR6xR9:

<S> baaaabb
baaaabb L (G)

Compiladores
2007

24

Ejercicio
2. Se tienen las siguientes reglas
R1:

<S> w <A> <S>

R2:

<S> d

R3:

<A> w

R4:

<A> d <S> <A>

a. Reconocer w d d w d
b. Reconocer w w w d d w d d
Compiladores
2007

25

a. Reconocer wddwd
Solucin:
xR1:

<S> w <A> <S>

xR4:

<S> wd <S> <A> <S>

xR2:

<S> wdd <A> <S>

xR3:

<S> wddw <S>

xR2:

<S> wddwd
wddwd L(G)

Compiladores
2007

26

b. Reconocer wwwddwdd
L(G) = {x / <S> * x .and. x T* }
Solucin:

Compiladores
2007

xR1:

<S> w <A> <S>

xR3:

<S> w w <S>

xR1:

<S> w w w <A> <S>

xR4:

<S> w w w d <A> <S>

xR2:

<S> w w w dd <A> <S>

xR3:

<S> w w wddw <S>

xR2:

<S> w w w d d w d
wwwddwdd L(G)
27

Resumen
A. Tipos Gramtica.
1. Estructura de Base Tipo 0 :

donde : ( N U T )+

( N U T )*

2. Sensible Contexto Tipo 1:

A w

donde :

(NUT)*
W (NUT)+
AN

Compiladores
2007

28

Resumen
3. Contexto Libre Tipo 2
donde : N

(NUT)*

4. Regular Tipo 3
<A> a <B>

Acepta como mximo un no

terminal en la izquierda y derecha.

<A> b
B. Lenguaje Reconocido por una Gramtica.
L (G) = { x / <S> * x
Compiladores
2007

.and. x T *}

Axioma Principal
29

Tcnicas de anlisis

La tarea de un compilador no es generar frases, un

compilador debe verificar si una frase pertenece al
lenguaje o no.
El anlisis sintctico es el proceso de bsqueda de un
rbol sintctico correspondiente a una frase.
Normalmente se usan dos mtodos:
 Anlisis sintctico descendente: parte de la raz y
baja hacia las hojas
 Anlisis sintctico ascendente: comienza por las hojas
e intenta llegar a la raz

Compiladores
2007

30

Tcnicas de anlisis
Representacin Grfica Arbol Sintctico
Implica usar un rbol ordenado, est formado por un
Nudo (Elemento no Terminal parte Izquierda) y por
ramas que sern la parte derecha de la regla.
<A> a <B> b
Ramas (derecha)

Nudo

a
Compiladores
2007

<A>

nudo

<B>

b Ramas
31

Anlisis descendente
T = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
N = { Digito, Enn}
P = { Enn Digito | Enn Digito
Digito 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 }

S = {Enn}
Para analizar la frase 123, se comienza con la raz
Enn que deriva a Enn Digito.
Enn
Enn
Compiladores
2007

Digito
32

Anlisis descendente
Aplicando la misma produccin:
Enn
Digito

Enn
Enn

Digito

Con la produccin Enn Digito seguimos construyendo

el rbol

Compiladores
2007

33

Anlisis descendente
Enn
Digito

Enn
Enn

Digito

Digito

Con la produccin Digito 1 seguimos construyendo

el rbol y obtenemos

Compiladores
2007

34

Anlisis descendente
Enn
Digito

Enn
Enn

Digito

Digito

Podemos ver que el rbol crece hacia abajo conforme se va

leyendo la frase de izquierda a derecha.
Compiladores
2007

35

Anlisis ascendente

Veremos como se realiza el anlisis ascendente para

la misma frase 123.
Slo conocemos la raz y la frase.
Con la reduccin 1 Digito obtenemos
Digito

1

Con la reduccin Digito Enn llegamos a:

Compiladores
2007

36

Anlisis ascendente
Enn
Digito

Y luego
Enn

Digito

Digito

1
Compiladores
2007

3
37

Anlisis ascendente
Podemos usar la reduccin Enn Digito Enn
Enn
Enn

Digito

Digito

Repitiendo el uso de las mismas derivaciones llegamos a

obtener:
Compiladores
2007

38

Anlisis ascendente
Enn
Digito

Enn
Enn

Digito

Digito

Compiladores
2007

39

Anlisis sintctico

En cualquiera de los mtodos usados llegamos a la

solucin porque se tenia conocimiento de la frase
completa (conocer el programa completo?)
Si no hay un preanlisis se podran tomar decisiones
como (para un anlisis descendente):
Enn
Digito

1
Compiladores
2007

Lo que nos llevara a una situacin

sin salida (deadlock) ya que llegamos
de la hoja a la raz y todava no
terminamos de recorrer la frase.

40

Anlisis sintctico

Para resolver este problema se definen los

conjuntos Primero y Siguiente que permitirn
realizar el anlisis sintctico sin bloqueos mutuos.
La idea bsica es que mirando un nmero fijo de
caracteres hacia adelante se pueda determinar
exactamente cual es el rbol que corresponde.

Compiladores
2007

41

Tarea

Seleccione una grafo sintctico del Pascal y escriba

la produccin correspondiente.
Deber tener por lo menos:




Alternativas ( | )
Una repeticin de elementos ( { } )
Un elemento opcional ( [ ] )

Compiladores
2007

42

Ejercicio
1. Se tienen las siguientes reglas.
R1:

<S> a

R2:

<S> a <A> a

R3:

<A> b

R4:

<A> b <A>

Reconocer mediante el rbol sintctico

a) a b b a
b) a b b b b a
c) a a a b b a
Compiladores
2007

43

Ejercicio
2. Se tienen las siguientes Reglas

Compiladores
2007

R1:

<S> do <B>

R2:

<S> ; <A>

R3:

<A> do

R4:

<A> do <S>

R5:

<A> ; <A> <A>

R6:

<B> ;

R7:

<B> ; <S>

R8:

<B> do <B> <B>

R9:

<B>

Reconocer mediante el rbol

sintctico
a) do ; do do do ;
b) do; do ; ; ;

do do do ;

c) ; do do do ; do do ; do

44

Notacin ampliada de las reglas EBNF

En un lenguaje, se utilizan ms de un centenar de

reglas Backus Normal Form para describir la
gramtica de un lenguaje por lo que se ha ido
introduciendo simplificaciones o formas compactas
llamadas Extended Backus Form

Compiladores
2007

45

Notacin ampliada de las reglas EBNF

Variantes
1. Alternativa de una regla.- Varias reglas tienen el
mismo smbolo no terminal (N) en la parte izquierda,
varias reglas pueden expresarse en una regla.
R1
R2
R3
R4
R5

:
:
:
:
:

<S> a <B> a
<S> b <A>
<S> a <S> a
<S> b
<S>

<S>a <B> a |b<A>|a<S>a |b|

R1
R2
R3
R4 R5
Compiladores
2007

46

Notacin ampliada de las reglas EBNF

2. Uso de Llaves.- Las llaves nos indica que el
smbolo que encierra se repite desde cero hasta un
nmero arbitrario de veces
R1

<S> <A> a

R2

<A> b

<S>

<A> a

R3
R4
R5
R6

:
:
:
:

<A> bb
<A> bbb
<A> bbbb
<A> bbbbb

<A>

{b}51

Compiladores
2007

47

Notacin ampliada de las reglas EBNF

3. Uso de parntesis cuadrados (Corchetes).- Es un
caso particular de las llaves.
[ X ] = { X }1
0

Se puede usar o no se
puede usar

<S> a <B> c <S> [b <S>]

Se puede hacer 1 vez
o ninguna vez
Compiladores
2007

48

Ejercicio
1. Se tiene las siguientes reglas:
R1:

<S> <T> <F>

R2:

<F> + <T> <F> |

R3:

<T> <E><L>

Reconocer con el rbol

sintctico

R4:

<L> * <E><L>|

1) a*(a+a)

R5:

<E> ( <S> ) | a

2) (a+a)*a*(a+a)
3) a+a+a+a+(a+a)*a

Compiladores
2007

49

Ejercicio
2. Se tiene las siguientes reglas
R1:

<S> ( <A> )

R2:

<A> <T> <F>

R3:

<F> + <A> |

R4:

<T> <S>| a

Reconocer con el rbol

sintctico
1) ((a) + (a) + a+a)
2) (a+a+(a)+a+(a))
3) (a+a+a+(a+a)+a)

Compiladores
2007

50