Apostila antiga - The Cyan Programming Language

CHAPTER 2. A ANÁLISE SINTÁTICA 18
A gramática resultante já está fatorada.
Freqüentemente, a recursividade de um não terminal como Expr ′ é transformado em iteração pelo
uso dos símbolos { e } na gramática, que indicam “repita zero ou mais vezes”. Assim,
A ::= a{b}
gera as sentenças
a
ab
abbbb
aplicando esta notação para a gramática anterior, obtemos
Expr ::= Term { (+|−) Term }
Term ::= Numero { (∗|/) Numero }
onde +|− significa + ou −.
2.5 Análise Sintática Descendente
A análise sintática (parsing) de uma seqüência de tokens determina se ela pode ou não ser gerada por
uma gramática. A seqüência de tokens é gerada pelo analisador léxico a partir do programa fonte a
ser compilado.
Existem diversos métodos de análise sintática e o método que estudaremos a seguir é chamado de
descendente, pois ele parte do símbolo inicial da gramática e faz derivações buscando produzir como
resultado final a seqüência de tokens produzida pelo analisador léxico. Um exemplo simples de análise
descendente é analisar
2 + 3
a partir da gramática
E ::= T E ′
E ′ ::= + T E ′ | ɛ
T ::= N T ′
T ′ ::= ∗ N T ′ | ɛ
N ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
onde +, ∗ e os dígitos 0...9 são terminais. Inicialmente, marcamos o primeiro símbolo da entrada com
sublinhado e começamos a derivar a partir do símbolo inicial E:
2 + 3$
E
O $ foi acrescentado ao final da entrada para representar o token “fim de arquivo”. Marcaremos
com sublinhado o próximo símbolo sendo considerado da forma sentencial derivada de E. À esquerda
do sublinhado estarão apenas terminais que já foram acasalados com a entrada.
Como só existe uma alternativa para derivar E, assim fazemos:
2 + 3$
T E ′
Existe também uma única alternativa para T:
2 + 3$
N T ′ E ′
Agora N possui 10 alternativas e escolheremos aquela que acasala (match) com o token corrente da
entrada:
2 + 3$
2 T ′ E ′
Quando o token corrente da entrada, também chamado de símbolo lookahead, for igual ao terminal da
seqüência derivada de E, avançamos ambos os indicadores de uma posição, indicando que o token da