Compiladores: PASCALjr - WWW2 - Udesc

More documents

Recommendations

Info

ListaIDConst’ 1 → Virg Identificador Atrib Valor ListaIDConst’ 2{ ListaIDConst’ 2 .T ipo = ListaIDConst 1 .T ipo;InsereT S(CONST, Identificador.Lexema, ListaIDConst 1 .T ipo,EnderecoLivre + +, Valor.V alor) }ListaIDConst’ → ε { Nenhuma Ação Semântica }Valor → OpAritSubt Numeros { Valor.V alor = −Numeros.V alor }Valor → Numeros { Valor.V alor = Numeros.V alor }Valor → ConstCaracter { Valor.V alor = ConstCaracter.Lexema }Valor → ConstString { Valor.V alor = ConstString.Lexema }Valor → prTrue { Valor.V alor = true }Valor → prFalse { Valor.V alor = false }Numeros → NumeroInteiro { Numeros.V alor = NumeroInteiro.Lexema }Numeros → NumeroReal { Numeros.V alor = NumeroReal.Lexema }BlocoCom → AbreChaves ListaCom FechaChaves{ Nenhuma Ação Semântica }ListaCom → ComSimp ListaCom’ { Nenhuma Ação Semântica }ListaCom → ε { Nenhuma Ação Semântica }ListaCom’ → PtVirg ComSimp ListaCom’ { Nenhuma Ação Semântica }< ListaCom’ >→ ε { Nenhuma Ação Semântica }< ComSimp >→< Atrib > { Nenhuma Ação Semântica }< ComSimp >→< RepetPre > { Nenhuma Ação Semântica }< ComSimp >→< RepetPos >{ Nenhuma Ação Semântica }< ComSimp >→< RepetCont >{ Nenhuma Ação Semântica }< ComSimp >→< Entrada >{ Nenhuma Ação Semântica }< ComSimp >→< Saida >{ Nenhuma Ação Semântica }< ComSimp >→< Condic >{ Nenhuma Ação Semântica }< ComSimp >→< BlocoCom >{ Nenhuma Ação Semântica }< ComSimp >→ ε{ Nenhuma Ação Semântica }< Atrib >→ Identificador < Atrib’ >{Entrada = BuscaT S(Identificador);if(!Entrada)ERRO SEM 1 else if(Entrada.Natureza! = V AR)ERRO SEM 2;< Atrib’ > .T ipo = Entrada.T ipo;}52
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
Page 1 and 2:
Compiladores: P ASCAL jrRogério Ed
Page 3 and 4:
5 Análise Semântica 415.1 Traduç
Page 5 and 6: Capítulo 1IntroduçãoEntende-se p
Page 7 and 8: 1.2.1 Fases da CompilaçãoO proces
Page 9 and 10: A análise semântica tem por objet
Page 11 and 12: Capítulo 2Um Compilador Simples de
Page 13 and 14: Associatividade de OperadoresConven
Page 15 and 16: 11. Bloco de comandos delimitados p
Page 17 and 18: Capítulo 3Análise Léxica3.1 O Pa
Page 19 and 20: 2. Escrever um programa numa lingua
Page 21 and 22: P: S → 0S | AA → A1 | BB → 0
Page 23 and 24: Operador Relacional Diferentemedia
Page 25 and 26: Capítulo 4Análise Sintática4.1 O
Page 27 and 28: 4.2 Análise Sintática Ascendente
Page 29 and 30: Sc A dfalha!SSabc A dSc A dsucesso!
Page 31 and 32: AAAβAαAαAααβαA'A'α A'α A'
Page 33 and 34: Cláusula FollowPela regra 1 temos
Page 35 and 36: 1. Percorrer a cadeia, a partir da
Page 37 and 38: AreaSubRot → AreaProc AreaSubRot
Page 39 and 40: Analisando os comandos de Repetiç
Page 41 and 42: OpSubt ExprAr | SubRot |Identificad
Page 43: • Executa a análise da produçã
Page 46 and 47: ProduçãoL → EE → E + TE → T
Page 48 and 49: 5.1.2 Verificações de ContextoUm
Page 50 and 51: Exercício: Construir as tabelas de
Page 52 and 53: Existem dois métodos básicos para
Page 54 and 55: 5.3 Projeto das Regras SemânticasO
Page 58 and 59: ListaExpr >→< Expr >< ListaExpr
Page 60 and 61: FatorAr’ >→ OpPote < ElementoAr
Page 63 and 64: Capítulo 6Geração de Código Int
Page 65 and 66: 6.1.3 Código de Três-EndereçosCa
Page 67 and 68: 100: if A < B goto 103 107: T2=1101
Page 69 and 70: Backpatching para Expressões Lógi
Page 71 and 72: Capítulo 7Otimização de CódigoT
Page 73 and 74: Código IntermediárioT1 = a+bT2 =
Page 75 and 76: Capítulo 8Geração de Código Obj
Page 77 and 78: INIP inicializa a execução do pro
Page 79 and 80: Comando de AtribuiçãoARMZ n Trans
Page 81 and 82: ListaID → Identificador ListaID
Page 83 and 84: ListaParam’ → ε { }AreaFunc
Page 85 and 86: Condic’ → prElse Comando{ Quad2
Page 87 and 88: TermoLog’ → OpRelacMaiorIgual F
Page 89: Do programa a ser criado:• Abre u
show all

Compiladores: PASCALjr - WWW2 - Udesc

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?