Aula LP 30/03/2022

Aula LP 30/03/2022

1. Parsing

   • bottom up
   • Arvore de parse a partir de tokens
     • Lê tokens da esquerda para a direita

2. BNF ambigua

   • Ambigua
     • Automato não deterministico
   • Não ambigua
     • Parsing recursivo descendente
       • top down
     • Se reconhecido por automato determinisitco pode ser descrita por gramatica LR

3. Tradução requer automato deterministico

4. Gramática regular

   • automato deterministico

5. LR(K) K digitos a frente

6. Semântica

   • Significado/coêrencia
   • Modelo gramatical
     • extensões de bnf
     • baseado na extração de informações semânticas da arvore de parse
       • Gramática de atributos
         • Um atributo para cada nó da arvore de parse representando o conteudo semantico
         • semantica estática
           • verificação de regras durante compilação
           • regras se relacionam indiretamente com o significado dos programas
   • Modelo imperativo
     • automato complexo
       • estados representam estados do programa em tempo de exec
       • se operação muda estado do automato é descrita formal
       • Possui definição de estado inicial
     • Não deu muito certo
   • Modelo Aplicativo
     • paradigma funcional
     • funções compostas
     • Loops são funções recursivas
   • Modelo Axiomatico
     • Cada construção da linguagem é um axioma ou RI
     • Deduzir efeito de execução da construção sintática
   • Modelo Especificação
     • relacionamento entre funções
     • Tipo algebricos são implementação formal
     • Simplório
   • Conclusão
     • imperativo
       • Muito detalahda
       • Sem valor para o usuario
       • Util para o implementador
     • aplicativo
       • Complexo e sem muita utilidade
     • Axiomática
       • Facil entendimento pelo usuario
       • Sem utilidade pra implementador