Compiladores: PASCALjr - WWW2 - Udesc

Atrib’ >→ SimbAtrib < Expr >{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbAtrib, < Expr > .T ipo))ERRO SEM 3}< Atrib’ >→ SimbAtribSoma < Expr >{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbAtribSoma, < Expr > .T ipo))ERRO SEM 3}< Atrib’ >→ SimbAtribSubt < Expr >{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbAtribSubt, < Expr > .T ipo))ERRO SEM 3}< Atrib’ >→ SimbAtribMult < Expr >{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbAtribMult, < Expr > .T ipo))ERRO SEM 3}< Atrib’ >→ SimbAtribDivi < Expr >{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbAtribDivi, < Expr > .T ipo))ERRO SEM 3}< Atrib’ >→ SimbIncr{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbIncr))ERRO SEM 3}< Atrib’ >→ SimbDecr{if(!SistemaT ipos(< Atrib’ > .T ipo, SimbDecr))ERRO SEM 3}< Condic >→ prSe < Expr > prEntao < ComSimp >< Condic’ >{if(< Expr > .T ipo! = Logico)ERRO SEM 3}< Condic’ >→ prSenao < ComSimp >{ Nenhuma Ação Semântica }< Condic’ >→ ε{ Nenhuma Ação Semântica }< RepetPos >→ prRepita < ListaCom > prAte < Expr >{if(! < Expr > .T ipo == Logico)ERRO SEM 3}< RepetPre >→ prEnquanto < Expr > prFaca < CompSimp >{if(! < Expr > .T ipo == Logico)ERRO SEM 3}< RepetCont >→ prPara Identificador SimbAtribValor’ > prAte< Expr > prFaca < RepetCont’ >< ComSimp >{Entrada = BuscaT S(Identificador);if(Entrada.T ipo! =< Valor’ > .T ipo || Entrada.T ipo! = Inteiro)ERRO SEM 3elseif(< Expr > .tipo! = inteiro)ERRO SEM 3< RepetCont’ >→ prPasso < Expr >if(< Expr > .tipo! = inteiro)ERRO SEM 3< RepetCont’ >→ ε{ Nenhuma Ação Semântica }< Valor’ >→ NumeroInteiro{ < Valor’ > .T ipo = inteiro }< Valor’ >→ Identificador{ < Valor’ > .T ipo = BuscaT S(Identificador).T ipo }< Entrada >→ prLeia AbrePar < ListaID > FechaPar{ < ListaID > .Acao = Leia; }< Saida >→ prImprima Abrepar < ListaExpr > FechaPar{ Nenhuma Ação Semântica }53