Turmas - 1º Semestre de 2026
Turmas
1º Semestre de 2026

1. Ybadoo
2. Turmas
3. 1º Semestre de 2026
4. Teoria da Computação
5. Primeira Avaliação
6. Questão 05

Questão 05

Considere o programa monolítico, utilizando instruções rotuladas, sobre a máquina 2_REG, apresentado a seguir.

R1: Se a_zero então vá_para R0 senão vá_para R2;
R2: Faça subtrair_a vá_para R3;
R3: Se a_zero então vá_para R4 senão vá_para R7;
R4: Faça adicionar_b vá_para R5;
R5: Faça adicionar_b vá_para R6;
R6: Faça adicionar_b vá_para R1;
R7: Faça subtrair_a vá_para R8;
R8: Se a_zero então vá_para R0 senão vá_para R5;

Analise as seguintes assertivas sobre o programa apresentado.

1. Caso a entrada fornecida seja 4 a saída será 5.
2. Caso a entrada fornecida seja 5 a saída será 7.
3. Caso a entrada fornecida seja 6 a saída será 4.
4. Caso a entrada fornecida seja 7 a saída será 6.

Quais das assertivas apresentadas estão corretas?

A apenas as assertivas I e II.

B apenas as assertivas I e III.

C apenas as assertivas II e III.

D apenas as assertivas II e IV.

E apenas as assertivas III e IV.

Solução da Questão 05

A forma mais fácil e segura de encontrar a solução para a questão é calcular a computação da entrada indicada, para obter a função computada da mesma.

I Caso a entrada fornecida seja 4 a saída será 5.

(R1, (4, 0))
(R2, (4, 0))
(R3, (3, 0))
(R7, (3, 0))
(R8, (2, 0))
(R5, (2, 0))
(R6, (2, 1))
(R1, (2, 2))
(R2, (2, 2))
(R3, (1, 2))
(R7, (1, 2))
(R8, (0, 2))
(R0, (0, 2))

<Q05, 2_REG> : 4 -> 2

II Caso a entrada fornecida seja 5 a saída será 7.

(R1, (5, 0))
(R2, (5, 0))
(R3, (4, 0))
(R7, (4, 0))
(R8, (3, 0))
(R5, (3, 0))
(R6, (3, 1))
(R1, (3, 2))
(R2, (3, 2))
(R3, (2, 2))
(R7, (2, 2))
(R8, (1, 2))
(R5, (1, 2))
(R6, (1, 3))
(R1, (1, 4))
(R2, (1, 4))
(R3, (0, 4))
(R4, (0, 4))
(R5, (0, 5))
(R6, (0, 6))
(R1, (0, 7))
(R0, (0, 7))

<Q05, 2_REG> : 5 -> 7

III Caso a entrada fornecida seja 6 a saída será 4.

(R1, (6, 0))
(R2, (6, 0))
(R3, (5, 0))
(R7, (5, 0))
(R8, (4, 0))
(R5, (4, 0))
(R6, (4, 1))
(R1, (4, 2))
(R2, (4, 2))
(R3, (3, 2))
(R7, (3, 2))
(R8, (2, 2))
(R5, (2, 2))
(R6, (2, 3))
(R1, (2, 4))
(R2, (2, 4))
(R3, (1, 4))
(R7, (1, 4))
(R8, (0, 4))
(R0, (0, 4))

<Q05, 2_REG> : 6 -> 4

IV Caso a entrada fornecida seja 7 a saída será 6.

(R1, (7, 0))
(R2, (7, 0))
(R3, (6, 0))
(R7, (6, 0))
(R8, (5, 0))
(R5, (5, 0))
(R6, (5, 1))
(R1, (5, 2))
(R2, (5, 2))
(R3, (4, 2))
(R7, (4, 2))
(R8, (3, 2))
(R5, (3, 2))
(R6, (3, 3))
(R1, (3, 4))
(R2, (3, 4))
(R3, (2, 4))
(R7, (2, 4))
(R8, (1, 4))
(R5, (1, 4))
(R6, (1, 5))
(R1, (1, 6))
(R2, (1, 6))
(R3, (0, 6))
(R4, (0, 6))
(R5, (0, 7))
(R6, (0, 8))
(R1, (0, 9))
(R0, (0, 9))

<Q05, 2_REG> : 7 -> 9

Conforme exposto, a resposta correta é:

C apenas as assertivas II e III.