Questão 2322820

• Banca: IFB
• Órgão: IFB
• Ano: 2017
• Provas: IFB - 2017 - IFB - Professor - Informática/ Desenvolvimento de Sistemas
• Disciplina: Programação
• Assuntos: Conceitos básicos de programação

Assinale a alternativa que apresenta os três principais métodos de descrição semântica das linguagens de programação, segundo Sebesta (2011):

• A. Operacional, denotacional e axiomática.
• B. Backus-Naur, denotacional e axiomática.
• C. Estática, operacional e denotacional.
• D. Backus-Naur, estática e axiomática.
• E. Backus-Naur, operacional e axiomática.

Gabarito: A

Comentários

• Segundo Sebesta - Conceitos de linguagens de programação

  A difícil tarefa da descrição semântica é então explorada, incluindo breves introduções para os três métodos mais comuns: semântica operacional, denotacional e axiomática.

• Não tinha ideia da assertiva, porem depois que li a questão da sequencia desta prova que foi a Q774272, acabei indo na A, pois o enunciado da Q774272 dava a ideia da resposta..kkkk

• Semântica Axiomática:

  Baseada em lógica matemática, é a abordagem mais abstrata para a especificação de semântica.

  Semântica Operacional

  Descreve o significado de uma sentença ou programa pela especificação dos efeitos e executa-o em uma máquina.

  Semântica Denotacional:

  Método mais rigoroso e mais conhecido para a descrição do significado de programas.