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: {x = a, v1 = a, v2 = b}. Isso porque, na sétima linha do programa, a variável x recebe o valor de c, a variável y recebe o valor de a e a variável v2 recebe o valor de b. Portanto, antes da execução dessa linha, é necessário que x seja igual a a, v1 seja igual a a e v2 seja igual a b. 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