Você está na página 1de 22

UESB: Universidade Estadual do Sudoeste da Bahia Curso: Bacharelado em Cincia da Computao Aluno: Elias Adriano Nogueira da Silva

POSCO P ! E"ame de Seleo para P#s $raduao em Cincia da Computao %uest&es 'esolvidas por (rea

)undamentos de Computao: *rea + ! ,inguagens )ormais e Aut-matos

./+/

Questo 26 Prova 2002:

Resoluo:

a0 Uma linguagem L recursivamente enumervel se existe uma mquina de Turing M tal


que L=L(M) !omo uma mquina de Turing tem "oder com"utacional su#iciente "ara recon$ecer uma linguagem regular "odemos di%er que uma LR "ode sim ser uma LR& e vice'versa( )) *e#initivamente no c) !ontra &xem"lo: Linguagens naturais sens+veis ao contexto no so livres de contexto, d) - correto seria: Linguagens recon$ecidas "or aut.matos #initos determin+sticos so linguagens regulares

e0 /em som)ra de d0vidas "or exem"lo linguagens naturais(

Questo 27 Prova 2003:

'esoluo: S 12 3 4

56780 4 567"607597980 4 5"":7 99:0 5"":799:0 4 ;;:

Segundo Aciol95.//.< pagina =+0: Se>a r uma e"presso regular? Ento E"iste algum a@n Aue reconhece ,5r0? ConseABentemente< ,5r0 C uma linguagem regular e< portanto< r especi@ica uma linguagem regular? Na Auesto acima @oi dada uma gram(tica $ Aue se simpli@icada pode ser trans@ormada em uma $ram(tica linear D direita< como saEemos Aue uma gram(tica regular $ C uma gram(tica regular D esAuerda ou ( direita< podemos concluir Aue e"iste uma e"presso regular correspondente? Neste Caso )oram @eitas suEstitui&es das produ&es D direita por e"press&es regulares correspondentes provando Aue a resposta correta seria a alternativa a?

Questo 46 Prova 2003:

'esoluo: F ! Segundo Aciol95.//.0 o poder computacional de um A)G C o mesmo de A)NHA)NG< alCm disto< para toda linguagem , reconhecida por um A)N e"iste um A)G N tal Aue ,I,5N0< ou se>a o A)G reconhece a mesma linguagem< portanto esta a@irmativa C )alsa? FF ! Segundo a de@inio de Aciol95.//.0 uma linguagem , C regular se e"iste um A)G tal Aue ,I,5 0< ou se>a e"iste um A)G Aue a reconhea< e e"press&es regulares so geradas por linguagens regulares< portanto esta a@irmativa C )alsa?

Questo 28 Prova 2005:

'esoluo: a0 Segundo Aciol95.//.0 sempre Aue uma m(Auina de Juring p(ra< algum ou todo o conteKdo da @ito @oi reconhecido< para Aue a

m(Auina de Juring entre em lao in@inito Easta L ser no comput(vel< validando assim esta a@irmativa? E0 Numa m(Auina de Juring padro o proElema de parada C indecidivel< pois as a&es da m(Auina depende da @uno de transio com momento e entradas especM@icos< no possiEilitando assim Aue a m(Auina decida por si s# parar< vale lemErar Aue sempre Aue a m(Auina p(ra algum ou todo conteKdo da @ita @oi reconhecido? c0 Uma gram(tica C amEMgua Auando a partir dela geramos mais de uma arvore de derivao para uma cadeia AualAuer da linguagem< mas a deciso de Aual caminho a seguir C @eita em tempo de e"ecuo< no sendo possMvel de@inir se ele C amEMgua ou no? d0 Uma linguagem C livre de conte"to se e"iste uma gram(tica livre de conte"to Aue a gere? Uma gram(tica $NO< J< S< P2 C dita livre de conte"to se todas as produ&es em P tem a @orma: A 12 " onde A pertence a O e 6 pertence a 5O U J0:< sendo assim C muito simples criar um contra e"emplo Aue se encai"a neste tipo de produo e torna esta a@irmativa @alsa? e0 Uma m(Auina de Juring tem um poder computacional maior Aue um aut-mato a pilha< podendo sim simular um aut-mato com duas pilhas< alem disto podemos utili;ar mais de uma @ita?

Questo 28 Prova 2006:

'esoluo:

a0 Segundo Aciol95.//.0 para AualAuer linguagem aceita por um A)N e"iste um A)G Aue reconhece a mesma linguagem E0 Um APN inclui PlamEda transi&esQ< portanto esta a@irmativa C verdadeira c0 Uma m(Auina de Juring com n @itas no passa de varia&es de maAuinas de Juring padro< podendo portanto ser redu;idas? d0 ErradoR Para se provar Aue uma linguagem C regular< Easta criar um aut-mato Aue a reconhea< o lema da EomEa apenas trata da decomposio de uma cadeia? e0 Seguramente?

%uesto .= ! Prova .//S:

'esoluo: F ! Uma ,inguagem C livre de conte"to se todas as produ&es tem a @orma A 12 " onde A pertence a 5O U J0:<portanto esta a@irmativa C verdadeira FF1 $erando uma linguagem a partir da gram(tica perceEemos @acilmente Aue se trata da linguagem ,? FFF ! Como , C livre de conte"to< ela pode ser reconhecida por um aut-mato a pilha< tornando esta a@irmao @alsa? 'esposta correta: ,etra a?

%uesto .S ! prova .//S:

'esoluo: a0 Uma m(Auina de Juring no determinMstica C uma m(Auina 5determinMstica T con>unto de transi&es possMveis Aue podem ser escolhidas pela m(Auina0< podemos ento perceEer Aue para toda JG e"iste uma JN Aue reconhece a mesma linguagem< mas< no podemos a@irmar nada em relao D recMproca? E0 Se a linguagem C recursiva implica Aue e"iste uma m(Auina de Juring Aue a reconhece< portanto C comput(vel ou decidMvel? c0 Uma linguagem C recursivamente enumer(vel se e"iste uma maAuina de Juring Aue a reconhea< alem disto< uma m(Auina de Juring sempre para Auando reconhece uma cadeia? Gesta @orma a a@irmao correta seria: O con>unto de todos os programas Aue param para uma dada entrada C um con>unto recursivamente enumer(vel? d0 Nem C necess(rio comentar e0 Esta a@irmativa se encai"a per@eitamente na de@inio de maAuinas de Juring universais? 'esposta correta: C

Questo 29 Prova 2008

'esoluo: a0 Com certe;aR Esta m(Auina C denominada maAuina de Juring universal? E0 A tese de Juring tamECm chamada de tese de Church a@irma Aue dado um proElema comput(vel este pode ser computado por uma m(Auina de Juring? c0 Esta a@irmativa C a de@inio de linguagens recursivamente enumer(veis d0 Esta opo a@irma Aue AualAuer L como entrada numa maAuina de Juring C comput(vel o Aue saEemos Aue no C verdade< sendo portanto uma a@irmativa incorreta e0 Uma linguagem recursiva , C uma linguagem recursivamente enumer(vel e e"iste o algoritmo memEro a memEro para ,< a recMproca no pode ser a@irmada?

%uesto U/ ! Prova .//V:

'esoluo: F ! OerdadeiroR se a mesma linguagem? C um A)N e"iste W determinMstico Aue reconhece

FF ! OerdadeiroR AmEos possuem o mesmo poder computacional< alem de e"istir um algoritmo para e@etuar tal operao? FFF ! OerdadeiroR O poder computacional de um APN engloEa as linguagens livre de conte"to T linguagens regulares FO ! )alsoR O poder computacional do APN C maior? O ! SimR as m(Auinas de Juring possuem maior poder computacional

%uesto U+ ! Prova .//V:

'esoluo: F ! Fndependente da m(Auina comear com a @ita va;ia no podemos a@irma Aue todas as computa&es so in@initas? FF ! Fndependente da m(Auina comear com a @ita va;ia no podemos a@irma Aue todas as computa&es so in@initas? FFF ! Esta a@irmativa est( nos di;endo Aue m(Auinas de Juring de . estados reconhecem AualAuer computao @inita< o Aue saEemos Aue no C verdade 'esposta correta: A

Questo 46 prova 2008:

'esoluo: F ! )alsaR E"istem lamEda transi&es? FF ! OerdadeiroR E"istem lamEda transi&es? FFF ! OerdadeiroR Seu est(gio inicial e @inal C o mesmo? 'esposta correta: B

UESB: Universidade Estadual do Sudoeste da Bahia Curso: Bacharelado em Cincia da Computao Aluno: Elias Adriano Nogueira da Silva

POSCO P ! E"ame de Seleo para P#s $raduao em Cincia da Computao %uest&es 'esolvidas por (rea

)undamentos de Computao: *rea . ! Jeoria dos $r(@os

./+/

Questo 39 Prova 2002:

'esoluo: Um gra@o $ C cone"o se e"iste um caminho entre dois vCrtices AuaisAuer do gra@o? Sendo assim para todo $ com n vCrtices escolhido teremos Aue o nKmero mMnimo de arestas C n1+?

Questo 40 Prova 2002:

'esoluo: a0 No poderMamos a@irmar Aue $ seria um circuito pois se escolhermos um gra@o aleat#rio Aue @orma um circuito e removermos uma aresta no podemos a@irmar Aue o novo gra@o oEtido C descone"o como a@irma a Auesto? E0 O @ato de ser no Eipartido no signi@ica Aue se removermos uma aresta o novo gra@o se torne descone"o c0 Uma arvore A C um $ra@o cone"o Aue no contCm ciclo< neste caso para toda aresta Aue removermos A se torna descone"a? d0 Um gra@o hamiltoniano X C um circuito Aue inclui cada vCrtice somente uma ve;< sendo assim< no podemos a@irmar Aue se removermos uma aresta o mesmo se tornar( descone"o

e0 Um gra@o C Euleriano se o grau de cada vCrtice $ C par< sendo assim removendo uma aresta o gra@o no se tornaria descone"o Alternativa C

Questo 39 Prova 2005:

'esoluo:
Um gra@o C isomor@o se existe uma #uno #: 12 13 tal que (v 4) &2 se (# (v) # (4)) &3 "ara todo v 4 12( /endo assim a alternativa que 5usti#ica a a#irmao a 6(

7uesto 89 : ;rova 399<:

'esoluo: F ! CorretoR para todo gra@o $ com n vCrtices< o nKmero de mMnimo de arestas C n1+ FF ! ErradoR Um gra@o C Euleriano se o grau de suas arestas C par FFF ! CorretoR Alternativa correta: B

UESB: Universidade Estadual do Sudoeste da Bahia Curso: Bacharelado em Cincia da Computao Aluno: Elias Adriano Nogueira da Silva

POSCO P ! E"ame de Seleo para P#s $raduao em Cincia da Computao %uest&es 'esolvidas por (rea

)undamentos de Computao: *rea U ! Circuitos Gigitais

./+/

Questo 23 Prova 2002:

'esoluo: No circuito acima temos duas portas NANG associadas< sendo assim temos como saMda da primeira porta: Y5AZB0? Como esta saMda C entrada da pr#"ima porta temos: Y5Y5AZB0ZY5AZB00? Simpli@icando esta e"presso temos: Y5Y5AZB0ZY5AZB00 1 utili;ando a lei Ge organ temos:

Y55YA v YB0Z5 YA v YB00 ! utili;ando eliminao do e5Z0 Y55YA v YB00 ! utili;ando Ge AZB Portanto a resposta correta C a alternativa CR organ Novamente:

Questo 24 Prova 2002:

'esoluo: Esta C uma Auesto muito simples< pode ser resolvida utili;ando mini1 termos< a" 1 termos ou ainda mapa de [arnough? Primeiro vamos desenhar a taEela verdade da @uno: 6 / / / / + + + + / / + + / / + + 8 / + / + / + / + 4 / / + + + + / / S

Analisando a taEela acima visivelmente vemos Aue a @uno trata1se de um ou 1 e"clusivo entre as vari(veis 6 e 8< entretanto encontraremos a e"presso por mini1termos para @ins de um melhor entendimento: 5H6?8?H40T5H6?8?40T56?H8?H40T56?H8?40 Como vemos na e"presso a vari(vel 4 no est( in@luenciando na saMda e pode simpesmente ser aliminada< portanto< temos ento a e"presso: H6?8T6?H8 Provando assim Aue a alternativa correta C a letra CR

Prova 2007 Questo 22:


Esta Auesto C muito simples< nela C mostrado um circuito digital com portas NO'< NOJ< ANG e O'? Para responder corretamente Easta encontrar a e"presso total gerada no @inal do circuito e atravCs de simpli@icao encontrar a e"presso l#gica eAuivalente< neste caso a alternativa correta C a letra A?

UESB: Universidade Estadual do Sudoeste da Bahia Curso: Bacharelado em Cincia da Computao Aluno: Elias Adriano Nogueira da Silva

POSCO P ! E"ame de Seleo para P#s $raduao em Cincia da Computao %uest&es 'esolvidas por (rea

)undamentos de Computao: *rea \ ! ,#gica

./+/

Prova 2004 Questo 29:

'esoluo: A e"presso l#gica acima trata1se de um simples ou e"clusivo< temos Aue a mesma assume o valor verdadeiro sempre Aue a premissa A @or di@erente de B< sendo assim concluMmos Aue a alternativa correta C a letra: C