Lista 1 – Teoria da Computação.

P1 é o Programa Recursivo fazOque

fazOque é R onde
R def (se zeroX então √ senão subX; R; adY; adY; adx)

P2 é o programa iterativo oqueFaz

1: se zerox então vá_para 5 senão vá_para 2
2: faça subx vá_para 3
3: faça subx vá_para 4
4: faça ady vá_para 1
Considere vá_para 5 como término do programa.

1) As computações abaixo pedidas são finitas e executadas na máquina Nor.

a) Dê a computação finita de P1 para a função de entrada ent: 3.
b) Dê a computação finita de P2 para a função de entrada ent: 3.

2) As funções computadas abaixo pedidas são finitas e executadas na máquina Nor.

a) Qual a função computada para o programa P1?
b) Qual a função computada para o programa P2?

3) Com relação ao programa P2, faça o que se pede:

a) Construa o fluxograma correspondente.
b) Faça o mapeamento, linha a linha, do programa monolítico para recursivo.

4) Verifique a equivalência forte dos programas P3 e P4 seguindo os passos abaixo:

Programa Iterativo P3:

até zerox faça (subx; ady)
Programa Monolítico P4:
1: se zerox então vá_para 5 senão vá_para 2
2: se zerox então vá_para 5 senão vá_para 3
3: faça subx vá_para 3
4: faça ady vá_para 1
Considere vá_para 5 como término do programa.

a) Faça os fluxogramas correspondentes.

b) Traduza em instruções rotuladas compostas.
c) Construa as cadeias finitas de conjuntos A.
d) Use, se necessário, o algoritmo de simplificação de ciclos infinitos.
e) Construa o conjunto I e verifique os rótulos consistentes e em seguida os fortemente equivalentes.
f) Diga se são ou não fortemente equivalentes.

5) Supondo que o registrador inteiro A é representado pelo par (A1, A2) na representação conhecida
como sinal-magnitude, ou seja, A1 (sinal) e A2 (magnitude). Programe uma macro na máquina Nor
para executar a operação A := A - 1.

6) Seguindo o Arranjo Unidimensional definido pela multiplicação de números primos, qual seria o
valor em cada índice de um vetor para a = 2250.