Leia com atenção as instruções abaixo.
Formato da Entrega:
-
Arquivo no formato PDF.
-
Deve ser enviado através do Slack, no chat privado com o professor. Qualquer outro envio será desconsiderado.
-
O arquivo deve ser orientação formato retrato, não paisagem.
-
Você pode resolver no caderno e digitalizar usando o Google Drive ou colocar em um documento do Word ou LibreOffice, gerando o PDF. O tamanho do arquivo deve ficar abaixo de 10 MB.
-
No início do arquivo, deixe bem claro o título com: nome da atividade, seu nome e sua matrícula.
Valor: 2,0 pontos na 1ª Nota.
Data da Entrega Limite: 17/08/2020
Questão 01 - 1,0 Ponto
Usando as instruções de máquina virtual dadas na seção 3.5.1.1 do livro, dê uma definição de semântica operacional para o comando switch da linguagem C.
Questão 02 - 1,0 Ponto
Escreva uma função de mapeamento de semântica denotacional para o comando switch da linguagem C. Lembrando que há um vídeo extra sobre semântica denotacional.