Exercício 07.22

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

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

Resposta

<atr>
<id> := <exp>
A := <exp>
A := <ter>
A := <ter> * <fat>
A := <fat> * <fat>
A := <id> * <fat>
A := A * <fat>
A := A * ( <exp> )
A := A * ( <exp> + <ter> )
A := A * ( <ter> + <ter> )
A := A * ( <fat> + <ter> )
A := A * ( <id> + <ter> )
A := A * ( B + <ter> )
A := A * ( B + <fat> )
A := A * ( B + <id> )
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