Exercício 07.05

Apresente uma derivação à extrema direita (DED) da sentença B := C * (A * C + B) 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> * <id> + <exp> )
<id> := <id> * ( <id> * <id> + <id> )
<id> := <id> * ( <id> * <id> + B )
<id> := <id> * ( <id> * C + B )
<id> := <id> * ( A * C + B ) 
<id> := C * ( A * C + B ) 
B := C * ( A * C + B )

Referências Bibliográficas

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

Recomendamos