Análise Sintática de Linguagens Livres de Contexto
Compiladores – 2023-1
1. Gramáticas Livres de Contexto
Uma gramática livre de contexto (GLC) é uma
quádrupla G=(N,T,P,S) tal que:
 um conjunto de símbolos não-terminais N
 um conjunto de símbolos terminais T
 um conjunto P de regras αβ, com αN e
β(NT)*
 um símbolo inicial SN
Exemplo: Considere a gramática G1=(N,T,P,S), com
N = { expr }
T = { n ,+ }
P = { expr  expr + expr , expr  n }
S = expr
Uma derivação em uma GLC é uma sequência de
aplicações das regras de G a partir do símbolo inicial.
Exemplo. Considere a derivação abaixo:
expr  expr + expr  expr + n 
 expr + expr + n  expr + n + n 
 n+n+n
Usamos a notação expr * n + n + n
para descrever que é possível derivar a expressão
n + n + n a partir de expr usando um ou mais
passos de uma derivação.
Exercício. Você consegue descrever o conjunto de
todas as palavras que podem ser derivadas usando a
gramática G1 acima?
Definição. A linguagem gerada por uma GLC G,
denotada por L(G), é o conjunto de todas as palavras
T*, tais que S * .
Uma linguagem L* é chamada de linguagem livre
de contexto se existir uma GLC G tal que L = L(G).
Exercício. Elabore uma GLC que gere números
(representados pelo símbolo n) e expressões
envolvendo somas e subtrações de números.
Prof. Roberto C. de Araujo
2. Árvores Sintáticas (ou de Derivação)
Uma derivação também pode ser representada
através de uma árvore na qual cada nó representa um
símbolo de NT{}:
 a raiz da árvore será o símbolo inicial da
gramática;
 os nós internos da árvore serão os símbolos não-
terminais da gramática; e
 as folhas da árvore serão os símbolos terminais
da gramática (ou, eventualmente,  ).
Cada nó interno da árvore (contendo um símbolo
AN) será ramificado em diversos filhos de acordo
com uma regra da forma Aβ de tal forma que a
quantidade de ramificações corresponderá à
quantidade de símbolos de β e a ordem desses
símbolos em β será representada pela sequência de
filhos de A, lidos da esquerda para a direita.
Tal árvore, obtida a partir de uma derivação, é
chamada de árvore sintática (ou de árvore de
derivação).
Exemplo. Considerando a derivação anterior,
podemos construir a seguinte árvore sintática.
expr
/ | \
/ + \
expr expr
/ | \ |
/ + \ n
expr expr
| |
n n
Uma árvore sintática é bastante útil para retratar,
esquematicamente, uma derivação. No entanto, ela
não indica qual é a sequência de regras que foi usada
na derivação.
Compiladores – 2023-1
3. Gramáticas Ambíguas
Uma gramática G é chamada de ambígua se existir
(pelo menos) uma palavra w tal que existam (pelo
menos) duas derivações diferentes para w em G e
essas derivações gerem árvores sintáticas diferentes.
Exercício. Mostre que a gramática G1 é ambígua.
Exercício. Altere minimamente a gramática G1 de
tal forma que ela gere a mesma linguagem e deixe de
ser ambígua.
4. Notação EBNF
A gramática apresentada no enunciado do projeto usa
uma notação chamada de EBNF baseada em
construções tais como:
{ α } : repetição da cadeia a zero ou mais vezes
[ α ] : cadeia α é opcional
( α | β ) : α ou β deve ser escolhido
Além disso, a notaão EBNF usa o símbolo ::= no
lugar de  nas regras.
Exercício. Converta as seguintes regras, escritas na
notação EBNF, para a notação usual para descrição
de regras de uma gramática:
a) parFormal ::= ( int | bool ) ident
b) declFuncoes ::= { declaraFunc }
c) listIdent ::= ident { , ident }
d) param ::= [( ident | num | bool )]
5. Análises Sintáticas Ascendente e Descendente
Na área de compilação, a análise sintática
corresponde ao processo de construção de uma
árvore sintática para uma palavra. Na prática,
existem diversos algoritmos para se construir uma
árvore sintática. Eles podem ser classificados em dois
tipos gerais:
 análise sintática descendente (top-down): a
árvore é construída a partir da raiz e termina com
a especificação de suas folhas; exemplos de
algoritmos desse tipo:
o LL(1)
o Recursivo descendente
 análise sintática ascendente (bottom-up): a
árvore é construída a partir de suas folhas e
termina com a especificação de sua raiz;
exemplos de algoritmos desse tipo:
o LR(0)
o LR(1)
o SLR(1)
o LALR(1)
Exercício: Usando a gramática abaixo,
S  cAc$
A  aAa | 
obtenha uma derivação para a palavra caaaac$.
Usando a derivação obtida, construa uma árvore
sintática para ela.
Compiladores – 2023-1