Exercício 07.08

Apresente uma derivação à extrema direita (DED) da sentença A := A * (B + (C)) sobre a gramática a seguir (Sebesta, 2000).

G = ({atr, exp, id}, {A, B, C, :=, +, *, (, )}, P, atr)
P = {< atr >  ->  < id > := < exp >
     < exp >  ->  < id > + < exp >  |  < id > * < exp >  |  ( < exp > )  |  < id >
     < id >   ->  A  |  B  |  C }

Resposta

<atr>
<id> := <exp>
<id> := <id> * <exp>
<id> := <id> * ( <exp> )
<id> := <id> * ( <id> + <exp> )
<id> := <id> * ( <id> + ( <exp> ))
<id> := <id> * ( <id> + ( <id> ))
<id> := <id> * ( <id> + (C))
<id> := <id> * (B + (C))
<id> := A * (B + (C))
A := A * (B + (C))

Referências Bibliográficas

Sebesta, Robert W. (2000). Conceitos de Linguagens de Programação. 4ª edição. Porto Alegre: Bookman. 624 páginas.

Recomendamos