///
Dadas as seguintes definições sobre métodos de descrição semântica, segundo Sebesta:
I) Descreve o significado de uma sentença ou programa pela especificação dos efeitos e executa-o em uma máquina.
II) Método mais rigoroso e mais conhecido para a descrição do significado de programas.
III) Baseada em lógica matemática, é a abordagem mais abstrata para a especificação de semântica.
( ) Semântica Operacional
( ) Semântica Denotacional