Exerccios 1 - Defina programa.

conjunto estruturado de instrues que capacitam uma mquina a aplicar sucessivamente certas operaes bsicas e testes sobre os dados iniciais fornecidos, com o objetivo de transformar esses dados em forma desejvel. 2 - Descreva programa com estruturao monoltica e iterativa. Monolitico: Um programa monoltico estruturado, usando desvios condicionais e incondicionais, no fazendo uso explcito de mecanismos auxiliares de programao. Iterativo: basicamente igual ao programa monoltico, fazendo uso da instruo enquanto;

3 - Descreva rtulos e instrues rotuladas Um Rtulo ou Etiqueta uma cadeia de caracteres finita constituda de letras ou dgitos. Uma Instruo Rotulada i uma seqncia de smbolos 4 - Quais os 3 mecanismos que compem um programa iterativo. No precisa descrever. Seqencial, condicional, enquanto. 5 - Sobre programa iterativo, d um exemplo em forma de fluxograma e instruo rotulada. Enquanto T faa V;W admite duas interpretaes distintas, (enquanto T faa V);W enquanto T faa (V;W)

6 - Crie um trecho de cdigo em uma linguagem de seu conhecimento que identifique: Exemplo de programa monoltico(Pascal): procedure p1; begin if A > 0 then begin A := A - 1; B := B + 1; end; end; Exemplo de programa Iterativo (Pascal): while A > 0 do begin A := A - 1; B := B + 1; end; Exemplo de programa Recursivo (Pascal): function begin if A > begin A := B := p1; end; end; p1; 0 then A - 1; B + 1;

7 - Desenhe um fluxograma que corresponde a cada um dos seguintes programas: a) composio at de um programa interativo

b) programa sem instruo de parada

Partida

T f f T

Parada

8 - Como posso afirmar que P um programa para a mquina M ? Afirma-se que P um programa para a mquina M se cada identificador de teste e operao em P tiver uma correspondente funo de teste e operao em M, respectivamente.

9 - Escreva um programa iterativo onde a computao seja infinita.

10 - Traduza o programa em: a) Fluxograma b) Instruo rotulada

Partida v v T1 T2 T2 T f v T3 f V W

f Parada

b) Instrues Rotuladas 1: Se T1 ento v-para 2 seno v-para 6 2: Se T2 ento v-para 3 seno v-para 6 3: Se T3 ento v-para 2 seno v-para 4 4: Faa V v-para 5 5: Faa W v-para 3

10 - Verifique se os programas abaixo so fortemente equivalentes usando o algoritmo de equivalncia forte de programas monolticos. a) P1: enquanto T faa (se T ento F seno ) b) P2: enquanto T faa (at T faa (G);F)

11 - Defina mquinas A mquina um mecanismo que dever suprir todas as informaes necessrias para que a computao de um programa possa ser
4

descrita, onde, cada identificador de operao deve caracterizar uma transformao na estrutura da memria da mquina, cada identificador de teste interpretado pela mquina deve ser associado a uma funo verdade, deve descrever o armazenamento ou a recuperao de informaes na estrutura de memria.

12 - Defina Funo computada A computao de um programa deve ser associada a uma entrada e a uma sada. Adicionalmente, espera-se que a resposta (sada) seja gerada em um tempo finito. Essas noes induzem a definio de funo computada.

13 - O que significa: Uma computao de um programa monoltico em uma mquina. um histrico das instrues executadas e o correspondente valor de memria. 14 - Descreva: a) Relao Equivalncia Forte de Programas. b) Relao Equivalncia de Programas em uma Mquina. c) Relao Equivalncia de Mquinas

1 - Relao Equivalncia Forte de Programas Um par de programas pertence relao se as correspondentes funes computadas coincidem para qualquer mquina; 2 - Relao Equivalncia de Programas em uma Mquina Um par de programas pertence relao se as correspondentes funes computadas coincidem para uma dada mquina;
5

3 - Relao Equivalncia de Mquinas Um par de mquina pertence relao se as mquinas podem se simular mutuamente. A simulao de uma mquina por outra pode ser feita usando programas diferentes.

15 - A verificao de que dois programas monolticos so equivalentes fortemente usa quais conceitos ? para qualquer programa P para M, existe um programa Q para N, tal que as correspondentes funes parciais computadas coincidem