Sintaxe:
-define a forma e estrutura de uma lp;
-significado (semântica) para programas sintaticamente corretos;
-símbolos, palavras, frases e sentenças (estruturas);
-BNF (Backus-Naur Form) é uma notação para expressar a estrutura sintática de uma linguagem.
Semântica
Semântica Operacional-
Foco em “como” programas são executados e não nos resultados da execução;
Como os “estados” são modificados;
Duas abordagens:
Semântica natural: descreve como o resultado global de execuções é obtido
Semântica operacional estrutural: descreve como os passos individuais das computações ocorrem.
Semantica Denotacional-
A função semântica mapeia as estruturas sintáticas de uma linguagem em significados a partir dos domínios semânticos.
Definida estruturalmente: o significado de uma frase (árvore de derivação) é determinado a partir do significado de suas subfrases (sub-árvores de derivação).
Teste
Há 15 anos