UNIVERSIDADEFEDERALDOESPRITOSANTO

CENTRODECINCIASEXATAS,NATURAISEDASAUDE
CCENS/UFES
DEPARTAMENTODECOMPUTAO
ListadeExercciosTeoriadaComputao
Disciplina:TeoriadaComputao
Professora:JulianaAmorimGuimares
Data:21/09/2016
Assuntos:Histrico,Conceitos,Programas,Mquinas,ComputaoeFunescomputadas

1) QuaisascontribuiesdeAlonzoChurcheAlanTuringnahistriadaTeoria
daComputao?
2) ProvequeoconjuntoX={nN|nmod10=0}enumervel.
3) Paracadaumdosconjuntosaseguir,provequeele,ouqueno,
enumervel:
a) X={nR|0<n<1}
b) X={nN|nmod10=0}
c) Xoconjuntodetodasasfunesf:NN.
4) Umalinguagemumaformaprecisadeexpressarproblemas.Da
especificaodaslinguagensquetraduzemosseguintesproblemasdedeciso:
a) determinarseumnnaturalnprimo.
b) determinarseumninteiropar.
c) determinarseumninteiropar.
5) Qualadiferenaentreprogramaemquina?Porqueosdoissonecessrios
paradefinir
computaes?
6) DescrevaformalmenteumamquinaMcom3posiesdememria,
denominadasregistradoresa,bec,osquaisassumemvaloresemN,com4
operaeseumteste,comosegue:

Adio:a+barmazenadaemc

Subtrao:abarmazenadaemc

Multiplicao:axbarmazenadaemc

Diviso:a/barmazenadaemc,seb0

Testesec=0

Adicionalmente,aentradaconstitudade2valoresarmazenadosemaeb
respectivamente,zerandoc.Asadaretornaovalordec.
7) ImplementeumprogramaiterativoparaamquinaMdoexerccioanterior.
8) Desenheumfluxogramaquecorrespondeacadaumdosseguintes
programas:
a) Composiesenquantoeat,emummesmoprograma.
b) Programaseminstruodeparada.
9) Definaformalmenteacomputaodeprogramasiterativosemumamquina
(comofoifeitoemsalaparaosprogramasmonolticoserecursivos).
10) Mostreacomputaodoprogramaiterativoabaixonamquinadedois
registradoresvistaemsaladeaula.Considereovalordeentradax=2.
ata_zerofaa(subtrai_a;adiciona_b)

11) Definaformalmenteafunocomputadaporumprogramaiterativo(comofoi
feitoemsalaparaosprogramasmonolticoserecursivos).
12) Escrevaumprogramaiterativoondeacomputaosejainfinita.
13) Porquepossvelafirmarqueacomputaodeumprogramaemuma
mquina,paraumdadovalorinicialdamemria,determinstica?
14) Emrelaofunocomputadaporumprogramaemumamquina:
a) Considereoprogramamonolticoabaixoparaamquinadois_reg.A
correspondentefunocomputadatotal?
1:sea_zeroentovpara9senov
para2
2:faasubtrai_avpara3
3:faaadiciona_bvpara1

b) Considereoprogramamonolticoabaixoparaamquinadois_reg.
Paraquaisvaloresdodomnioafunocomputadadefinida?
1:faaadiciona_bvpara1

15) Traduzaosprogramasmonolticosrepresentadosporfluxogramasem
programasrecursivos:
a)

b)

16) Traduzaoprogramaiterativoabaixoemprogramamonoltico,nasformasde:
a) Fluxograma

b) Intruesrotuladas
(seT1
entoenquantoT2
faa(atT3
faa(V;W))
senao())

17) Traduzaoprogramarecursivodefinidoabaixoemumiterativo:
PR1onde
R1def(seTentoF;R2senaoR1),
R2defG;(seTentoF;R1senao)

18) Traduzaoprogramaiterativodefinidoabaixoemumprogramarecursivo:
enquantoT
faa(F;(seTentofaasenaofaaG))

19) Sobrecomputaodeprogramarecursivoemumamquina,marquea
afirmaoincorreta:
a) umhistricodasexpressesdesubrotinaeoscorrespondentes
valoresdememria.
b) Umtesteereferenciaaumasubrotinanoalteramovalorcorrenteda
memria.
c) Emumacomputaofinita,aexpressoocorrenoltimoparda
cadeiaenoocorreemqualqueroutropar;
d) Paraumdadovalorinicialdememria,acorrespondentecadeiade
computaonica,ouseja,acomputaonodeterminstica.
e) Emumacomputaoinfinita,expressoalgumadacadeia.