Please enable JavaScript.

Coggle requires JavaScript to display documents.

Tipos de Semântica - Coggle Diagram

- - - - Primeiro, os passos individuais na exe- cução da linguagem de máquina e as mudanças resultantes no estado da má- quina são muito pequenos e numerosos.
      - Segundo, o armazenamento de um computador real é muito grande e complexo. Existem normalmente diversos níveis de dispositivos de memória, assim como conexões para incontáveis outros computadores e dispositivos de memória por meio de redes.
      - Dessa forma, linguagens de máquina e computadores reais não são usados para semântica operacional formal. Em vez disso, linguagens de nível intermediário e interpretadores para computadores idealizados são projetados especifica- mente para o processo.
  - - - Depende de linguagens de programação de níveis mais baixos, não de matemática. As sentenças de uma linguagem de programação são descritas em termos de sentenças de uma linguagem de programação de mais baixo nível.
- - - - As funções de mapeamento de uma especificação semântica denotacional de uma linguagem de programação, como as funções na matemática, têm um domínio e uma imagem. Na semântica denotacional, o domínio é chamado de domínio sintático, porque são mapeadas estruturas sintáticas. A imagem é chamada de domínio semântico.
        
        O domínio é a coleção de valores que são parâmetros legítimos para a função;
        
        a imagem é a coleção de objetos para os quais os parâmetros são mapeados.
  - - - Conforme mencionado, a semântica denotacional pode ser usada como uma ajuda para o projeto de linguagens. Por exemplo, sentenças para as quais a descrição em semântica denotacional seja complexa e difícil pode indicar ao projetista que tais sentenças também serão difíceis para que os usuários as entendam e que um projeto alternativo pode ser necessário.