Please enable JavaScript.
Coggle requires JavaScript to display documents.
Tipos de Semânticas - Coggle Diagram
Tipos de Semânticas
Semântica Axiomática
Conceito e importância
A semântica Axiomática é baseada em lógica mate-mática, é a abordagem mais abstrata para a especificação de semântica Em vez de especificar diretamente o significado de um programa, a semântica axiomática especifica o que pode ser provado sobre o programa.
-
Exemplos
Na lógica proposicional, os axiomas podem incluir proposições básicas como "A é verdadeiro" ou "B é falso". As regras de inferência podem ser regras como a Modus Ponens, que afirma que se "A implica B" e "A é verdadeiro", então "B é verdadeiro". Por exemplo:
Axiomas:
A é verdadeiro.
B é falso.
Regras de Inferência:
Modus Ponens: Se A implica B e A é verdadeiro, então B é verdadeiro.
Com base nesses axiomas e regras de inferência, podemos derivar outras verdades na lógica proposicional.
Na teoria dos conjuntos, os axiomas podem incluir afirmações sobre a existência de conjuntos vazios, a existência de conjuntos definidos por compreensão e princípios de inclusão de conjuntos. As regras de inferência podem incluir regras de dedução sobre pertinência de elementos aos conjuntos. Por exemplo: Axiomas: Existe um conjunto vazio. Para todo predicado P, existe um conjunto que contém exatamente os elementos que satisfazem P. Regras de Inferência: Se x pertence ao conjunto A e A é igual a B, então x pertence a B.
Com base nesses axiomas e regras de inferência, podemos demonstrar propriedades sobre conjuntos e operações de conjuntos.
-
Semântica Operacional
Avaliação de expressões
A semântica operacional fornece um meio efetivo de descrever semântica para usuários e implementadores de linguagens, e a semântica operacional A semântica operacional depende de linguagens de programação de níveis mais baixos.
Definição e objetivo
A semântica operacional é o ato de descrever o significado de uma sentença
ou programa pela especificação dos efeitos de rodá-lo em uma máquina.
Semântica Denotacional
Definição e propósito
A semântica denotacional é o método mais rigoroso e mais conhecido para
a descrição do significado de programas. Ela é solidamente baseada na teoria de funções recursivas.
A semântica denotacional está relacionada à semântica operacional, na qual as construções de linguagem de programação são traduzidas para construções mais simples o que se torna a base para o significado da construção.
Exemplos de aplicação
A semântica denotacional pode ser aplicada em Python para descrever o significado de funções e expressões na linguagem.
def soma_quadrados(x, y):
-
Em Haskell, a função length que retorna o tamanho de uma lista pode ser considerada denotacionalmente como uma função que mapeia uma lista para um número inteiro representando seu comprimento.
-