Dadas as seguintes definições sobre métodos de descrição sem...

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 Axiomática

( ) Semântica Operacional

( ) Semântica Denotacional

Assinale a alternativa que descreve a ordem correta de preenchimento, de cima para baixo, dos parênteses, de acordo com a relação entre as definições e os tipos de semântica: