Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna left parenthesis x comma y co...
Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna left parenthesis x comma y comma z right parenthesis, em left parenthesis z comma x comma y right parenthesis v italic 1 italic colon italic equals x v italic 2 italic colon italic equals y x italic colon italic equals z y italic colon italic equals v italic 1 z italic colon italic equals v italic 2 Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir: italic left curly bracket x italic equals a italic comma y italic equals b italic comma z italic equals c italic right curly bracket v italic 1 italic colon italic equals x italic left curly bracket v italic 1 italic equals a italic comma y italic equals b italic comma z italic equals c italic right curly bracket v italic 2 italic colon italic equals y italic left curly bracket v italic 1 italic equals a italic comma v italic 2 italic equals b italic comma z italic equals c italic right curly bracket x italic colon italic equals z y italic colon italic equals v italic 1 italic left curly bracket x italic equals c italic comma y italic equals a italic comma v italic 2 italic equals b italic right curly bracket z italic colon italic equals v italic 2 italic left curly bracket x italic equals c italic comma y italic equals a italic comma z italic equals b italic right curly bracket a. left curly bracket z equals c comma v 1 equals a comma v 2 equals b right curly bracket b. left curly bracket x equals c right curly bracket c. italic left curly bracket x italic equals c italic comma v italic 1 italic equals a italic comma v italic 2 italic equals b italic right curly bracket d. left curly bracket x equals c comma y equals c comma v 2 equals b right curly bracket e. left curly bracket x equals a comma v 1 equals a comma v 2 equals b right curly bracket
💡 1 Resposta
Ed 
A pré-condição da sétima linha é a alternativa c: left curly bracket x equals c, v1 equals a, v2 equals b right curly bracket. Isso porque, nessa linha, ocorre a troca de valores entre x e z, e a pré-condição indica que o valor de x é c, o valor de z é a variável v2 (que na pré-condição tem valor b) e o valor de y não é alterado. As outras alternativas não correspondem à pré-condição da sétima linha do programa.
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Perguntas relacionadas
Materiais relacionados
1 pág.
Compartilhar