Compiladores: PASCALjr - WWW2 - Udesc

TermoLog’ >→ OpRelacIgual < FatorLog >{< TermoLog’ > .out = SistemaT ipos[< TermoLog’ > .in, OpRelacIgual,< FatorLog > .out]; }< TermoLog’ >→ OpRelacDifer < FatorLog >{< TermoLog’ > .out = SistemaT ipos[< TermoLog’ > .in, OpRelacDifer,< FatorLog > .out]; }< TermoLog’ >→ ε{< TermoLog’ > .out =< TermoLog’ > .in}< FatorLog >→< ExprAr >{< FatorLog > .out =< ExprAr > .out}< FatorLog >→ OpLogNeg < Expr >{< FatorLog > .out = SistemaT ipos[< Expr > .out, OpLogNeg]; }< FatorLog >→ prVerdadeiro{< FatorLog > .out = V erdadeiro}< FatorLog >→ prFalso{< FatorLog > .out = F also}< ExprAr >→< TermoAr >< ExprAr’ >{< ExprAr’ > .in =< TermoAr > .out;< ExprAr > .out =< ExprAr’ > .out; }< ExprAr’ >→ OpAdic < TermoAr >< ExprAr’ > 1{< ExprAr’ > 1 .in = SistemaT ipos[< ExprAr’ > .in, OpAdic, < TermoAr > .out];< ExprAr’ > .out =< ExprAr’ > 1 .out; }< ExprAr’ >→ OpSubt < TermoAr >< ExprAr’ > 1{< ExprAr’ > 1 .in = SistemaT ipos[< ExprAr’ > .in, OpSubt, < TermoAr > .out];< ExprAr’ > .out =< ExprAr’ > 1 .out; }< ExprAr’ >→ ε{< ExprAr’ > .out =< ExprAr’ > .in}< TermoAr >→< FatorAr >< TermoAr’ >{< TermoAr’ > .in =< FatorAr > .out;< TermoAr > .out =< TermoAr’ > .out; }< TermoAr’ >→ OpMult < FatorAr >< TermoAr’ > 1{< TermoAr’ > 1 .in = SistemaT ipos[< TermoAr’ > .in, OpMult, < FatorAr > .out];< TermoAr’ > .out =< TermoAr’ > 1 .out; }< TermoAr’ >→ OpDivi < FatorAr >< TermoAr’ > 1{< TermoAr’ > 1 .in = SistemaT ipos[< TermoAr’ > .in, OpDivi, < FatorAr > .out];< TermoAr’ > .out =< TermoAr’ > 1 .out; }< TermoAr’ >→ ε{< TermoAr’ > .out =< TermoAr’ > .in}< FatorAr >→< ElementoAr >< FatorAr’ > 1{< FatorAr’ > 1 .in =< ElementoAr > .out;< FatorAr > .out =< FatorAr’ > 1 .out; }55