Please enable JavaScript.

Coggle requires JavaScript to display documents.

Semantica - Coggle Diagram

- - - - Sequência: concatenação de {P1} S1 {P2}, {P2} S2 {Q}
      - Laço (while):
      - Usa invariante de laço I
      - Prova a corretude parcial ou total (exige prova de término)
      - Atribuição: {Q[x → E]} x = E {Q}
- - - - Natural: analisa resultado final da execução.
      - Estrutural: foca na sequência completa de mudanças de estado.
    - - Cria-se uma linguagem intermediária clara, mais simples que a linguagem original.
      - Pode ser executada por uma máquina virtual ou inspecionada manualmente.
    - - Boa para explicação informal.
      - Frequentemente usada em manuais e documentação técnica.
    - - Modelo real de máquina é muito complexo.
      - Muito detalhista para uso formal.
      - Exemplo prático falho: VDL para PL/I.
- - - - Mapeamento
        
        Domínio sintático: elementos da linguagem.
        
        Domínio semântico: significado matemático correspondente.
      - Vantagens
        
        Rigor matemático.
        
        Útil para projeto de linguagens e análise formal.
      - Desvantagens
        
        Exige construção abstrata e complexa.
        
        Muito teórica; difícil de aplicar diretamente.
        
        Difícil para usuários finais.