96 > Teoria da Computagio: Maquinas Universais e Computabilidade Neste capitulo, mosta-se a exsténcia de um algoritmo para vetifcar se programas monolit os (0u iterativos) sao fortemente equivalents. Entretanto, até © momento, nip é conhecido s@ este um algoritme anslogo para programas recursos No préximo capitulo, é vista uma méquina de registradores, Nerma e algumas versbes sim plificadas, Ss En ‘exercicio 3.1 Com relagdo aos seguintescorolirios eteoremas 3) Coroléro 3.4 - Equnalénca forte de programas « equivalénci de programas em méaul as de tacos. 2.1) Justfique a afrmagdo de que prova (+) imediata 13.2). Esboce a prova (-) para programas terativa @ recutsivos BB] stifique a afirmacéo de que a prova do Lema 3.8 - Equivaléncia Forte: Fluxograma = Rotuladas Compostas &imediata, [e] Por que o Lema 3.8 - Equivaléncia Forte: Fuxograma —» Rotuladas Compostas garante que Py =P; se, esomente 36, Q = R? [1] Justique o corolrio 3.4 equivalncia forte de programas « «= equivaléncis de progra= mas em méquinas de tages. exercicio 3.2 Mostre que os seguintes programas P € Q, epresentados na figura 37, se lente equivalentes, Programa iterativo P ae oT faa); eoquanto T fag Gi ee athe F mot toa #) eznae #1)Capitulo 3 “> Verficagao da Equivaléncia Forte de Programas 97 . ge T tio va para 2 santo vi para teroaremas monolt pees, Wo, nso € conhecido 2 tage G viLpara 4 se T entio v4_para § gents vi para 6 loumas verses sim face Fk pera beoramas em méqui: figura 3.7 Programas iterative P(acima) « monalitico Q (abso) ‘exercicio 3.3 Verfique ze os programas monolticos My @ My, epresentados na figura 3.8, sto fortemente equivalentes, Programa monolitice M1 aga Fivd para 2 oe T entdo va para 2 eendo vA para § faoa G vi.para se T entlo vi para 1 eento vi pera 0 Face F vk para 6 se T onto vip aca G va para se T entdo vi para 6 sendo v4 para 0 | rte: Fuxograma —» 7 genio vi para 2 Flompostas garante aléncia de progra Programa monolitice M2 face F vt_para 2 ae T estd0 vd para 3 seako vi para 1 faga G vt pare 4 nT estdo vA garn 3 senko v6 para 0 [bre figura 3.7, 80 figura 3.8 Programas moncltices M1 e M2. exercicio 3.4 Quel a importincia da relagéo de equivaléncia forte de programas? exercicio 3.5 Verifique se os programas iterativos Wy e We, definidosna figura 3:9 figura 3.10, respectivamante, so fortemente equivalents.> Teoria da Computagso: Miquinas Universais e Computabilidade Programa iterativo Wt snguanco T aga (Fes Tonto tara ¥ sento face @)) figura 3.9 Programa teratho W! Programa iterative W2 capameT face (Fenquants Toca (9:6) figura 3.10 Programaiteratve W2 exerciclo 3.6 Traduza 0 programa monaltico da figura 3.11 na forma de instrucoes rotu~ ladas compostas. Como existe dois testes, cada instrugdo rotulada compost teré quatro possiveis sucessores, um para cada possivel combinagio de valores-verdade dos testes Ty eT. Programa monolitce dois testes aga Fv para 2 fe'Ty ent vf para 1 senio v6 para 3 faga'G vi paca co Ty extio v6 gars 0 sendo v4 para 2 figura 3.11. Programa monoltce do's testes lexercicio 3.7. Adapte para 0 caso do programa monalitio da figura 3.11 os seguintes itens [a] Lema 3.11 - dentificacde de cclosinfnitos em programa monolitico; Ib) Teorema 3.15 - Determinacéo de 6tulosfortemente equivalents; [ee] Definigao 3.16 - Algoritmo de equivalncia forte de programas monoltcos. exercicto 3.8 Generalize a defnigio de instrugbes roruladas compostas para o caso de ts testes dstintos. ‘exercicio 3.9 Traduza os fluxogramas da figura 3.12 e da figura 3.13 em instrucBes rotula das composas. figura 3.12Capitulo 3 > Verificacso da Equivaléncia Forte de Programas 99) E Ermstruées rotu posta ter quatro HostestesT, Tp, figura 3.12. Flucaams seguintesitens: Fao caso de tts fstrucoes rotua figura 3.13 Fivooreme100 > Teoria da Computagio: Maquinas Universais e Computabilidade ‘exercicio 3.10 Reescreva 0 programa monoltco da figura 3.14 na forma de instrucées ro tuladas compostas. Apresente o flaxcgrama com os ns identificados Obsersagéo: Atengao ao numero de testes! rograma mondlitico be T entts vd para 2 geno va pare 3 aga F va.pars © te U entia vi para $ conto vi para 4 aga G vs para 0 fon F va_para 0 el entho v6 para ¢ condo v para 2 figura 3,14_ Prog:ama monoltco. fexercicio 3.11. Reescreia 0 programa monolitice da figura 3.15 na forma de nstrugdes ro tuladas compostas. Aresente o fiuxograma com os nés identificados. Observacéo% Atengaa ac niimero de testes! Programa monolitico ) tags Fv pare 2 ee Ty enti vf para 3 condo vi para 1 fags’ G va para te Ty enti vd para 1 conto vi para $ faga M va_para 6 se Ty ent vi_para 0 senso va para 5 figura 3.15. Programa mon lexercicio 3.12 Reesceva o programa iterative ababo na forma de instrucbesrotuladas com: postas, Apresenteo fuxcgrama com os nés identificados. Observagfo: Atengdo ao nimero de tests! seoguanto Ty aca (hy) he (eo Ty encio Eaga att Ty tan Ufy) Fl: senso taca #1) exercicio 3.13 § ‘ladas compost Observacso: Aten = 2 tana 3: ae Ty figura 3.16 P= Termo-chave algoritme de ead <écosinfritos, instrugio rotulad,fade instucoes ro- fe de instrugbes ro | [Bes rotuladas com: 101 Capitulo 3 > Verificagao da Equivaléncia Forte de Programas ‘exercicio 3.13 Reescreva 0 programa monoltico da figure 3.16 na forma de instrugbes tuladas compostas. Apresenteo fluxograma com 0s ns idenificados. Observagéo: Atencéo ao numero de testes! Programa monolitico 1: ge Ty entdo vi para 4 eenko vi para 2 2: faga' Fy vi_para 2 31 se Ty est#o vi para 2 senao va para 1 figura 3.16 Programa monaco Termo-chave algoritme de equivalénca forte, p 92 maquina de tras, p. 80, 81 cos infnitos, p89 rétulos consistantes, p. 91 instrugio rotulacda composta, p. Ba