ICEG – Ciência da Computação – Prof. Marcelo Cezar Pinto ...

UNIVERSIDADE DE PASSO FUNDO
LISTA DE EXERCÍCIOS DE TEORIA DA COMPUTAÇÃO (NORMA)
Exercícios selecionados do capítulo 3 do livro [Diverio&Menezes, 2000]
Exercício 3.14. Mostre como os testes abaixo podem ser construídas como macros em
Norma (todos devem preservar o conteúdo dos registradores usados e indicar
registradores temporários):
a) A < 2
b) div(A, B)
extra) operador lógico E (&&)
Nota: div(x, y) significa “x é divisível por y?”
Exercício 3.15. Desenvolva os programas, em Norma, que realizam as operações (itens
a e b) e testes (itens f e g) abaixo (todos devem preservar o conteúdo dos registradores
usados e indicar registradores temporários):
a) A = B – C
b) A = B / C
tente guardar o resto em D
f) A

UNIVERSIDADE DE PASSO FUNDO
LISTA DE EXERCÍCIOS DE TEORIA DA COMPUTAÇÃO (NORMA)
Exercício 3.17. Desenvolva os programas, em Norma, que realizam as operações
abaixo nos números racionais (considere cada registrador abaixo do tipo racional, ou
seja, representado por 3 registradores naturais, sinal, numerador e denominador):
a) A = B + C
ou seja, (AS,AN,AD) = (BS,BN,BD) + (CS,CN,CD)
b) A = B * C
ou seja, (AS,AN,AD) = (BS,BN,BD) * (CS,CN,CD)
c) A = B – C
ou seja, (AS,AN,AD) = (BS,BN,BD) – (CS,CN,CD)
d) A = B / C
ou seja, (AS,AN,AD) = (BS,BN,BD) / (CS,CN,CD)
Nota: operações nos racionais
Exercício 3.23. Codifique o programa abaixo como um número natural, usando a
codificação de programas baseada no Teorema Fundamental da Aritmética.
P38 = (I38, 1), onde I38={“1: faça F vá para 2”, “2: se T então vá para 1 senão vá para 0”}
Exercício novo. Decodifique o número natural NP abaixo em instruções rotuladas de
programa monolítico. Para isso, use o seguinte mapeamento para operações e testes:
N =
P
1 → X++ 3 → Y++ 5 → A++
2 → X– – 4 → Y– – 6 → A– –
1 → X == 0 2 → Y == 0 3 → A == 0
2
2
1
3
1
5
0
7
2
3
2
0
3
2
ICEG – Ciência da Computação – Prof. Marcelo Cezar Pinto
5
4
7
4
5
2
0
3
3
5
1
7
1
7
2
0
3
5
5
3
7
3