Universidade Federal de Pernambuco Centro de Informtica - CIn

Decidibilidade

Grupo: Augusto Csar N L Filho (acnlf) Rafael Menelau O. Cruz (r oc)

Introduo
Muito antes !os co puta!ores o!ernos tere si!o in"enta!os# a teoria !a co puta$%o &' ha"ia si!o inicia!a e esta"a e !esen"ol"i ento. Mate 'ticos !e to!o o un!o (usca"a resol"er pro(le as atra"s !e processos co u n) ero finito !e passos *ue pu!esse se pre retornar resulta!os corretos para u a es a *uest%o. Apesar !e n%o (e !efini!o !urante sculos# o conceito !e algorit o se pre foi utiliza!o e aperfei$oa!o !e for a i pl+cita pela co uni!a!e ate 'tica. ,urante o -egun!o Congresso .nternacional !e Mate 'tica# realiza!o e /aris no ano !e 0122# ,a"i! 3il(ert apresentou 45 *uest6es n%o resol"i!as pertinentes 7 to!a a socie!a!e ate 'tica. Nesta lista o !ci o pro(le a !izia respeito aos algorit os# usa!os ain!a se u conceito concreto# 3il(ert re*uisitou e8plicita ente u algorit o para a i!entifica$%o !e e8ist9ncia !e ra+zes inteiras para u polin: io. Mes o co o pro(le a n%o resol"i!o ( ou pro"a!o *ue n%o po!e ser resol"i!o )# u gran!e a"an$o per itiu *ue ele fosse elhor analisa!o: a pu(lica$%o !a cha a!a ;ese !e Church<;uring# e 015=. O artigo !efinia precisa ente a no$%o !e algorit o *ue fazia<se ausente at ent%o e esta"a in"ia(ilizan!o a continui!a!e !o estu!o na 'rea. A ;ese !e Chuch<;uring afir a *ue# possuin!o te po e capaci!a!e !e espa$o suficiente# *ual*uer fun$%o *ue po!e ser co puta!a natural ente po!e ser co puta!a atra"s !e u algorit o e u co puta!or. Atra"s !isso poss+"el perce(er *ue at o ais si ples co puta!or ( e *uest%o !e "eloci!a!e e ta anho !e e >ria ) # possui teorica ente e*ui"alente po!er *ue u outro *ual*uer. /ara a realiza$%o !a tese o i portante conceito !e M'*uina !e ;uring foi !efini!o e associa!o co algorit os# !a for a ? um algoritmo um processo descrito por uma Mquina de Turing @( Gure"ich 4222).

Mquina de Turing
A M'*uina !e ;uring u o!elo co putacional se elhante 7 u aut: ato finito # por uito ais po!eroso e co prop>sito !e uso geral. A rigor trata<se !e u o!elo a(strato !e co puta!or# restrito apenas aos aspectos l>gicos !o funciona ento !o es o: Capaci!a!e !e ar azena ento# esta!os e transi$6es ignoran!o sua i ple enta$%o f+sica. .nfor al ente !escrita# u a '*uina !e ;uring consiste e :

B a fita !i"i!a e clulas a!&acentes u as 7s outras. C ca!a clula est' escrito u s+ (olo !e u alfa(eto !efini!o para a fita. O alfa(eto cont o(rigatoria ente u s+ (olo especial (ranco e u ou ais outros s+ (olos. Assu e<se *ue a fita infinita# isto # a '*uina !e ;uring possui fita suficiente para realizar sua co puta$%o. .nicial ente a fita possui apenas a ca!eia !e entra!a preenchi!a e to!as as !e ais clulas est%o inicial ente co o s+ (olo "azio escrito.Note ta ( *ue a '*uina !e ;uring possui !ois alfa(etos# u para a fita e outro para a entra!a# sen!o eles nunca iguais "isto *ue o !e entra!a n%o po!e conter o s+ (olo "azio en*uanto o !e fita #co o !escrito# o(rigatoria ente o possui. B a ca(e$a# *ue po!e ler# escre"er s+ (olos e para a es*uer!a co o !ireita. o"er<se na fita# tanto

B registra!or !e esta!os# *ue ar azena o esta!o !a '*uina !e ;uring. O n) ero !e esta!os !iferentes se pre finito e e8iste pelo enos !ois# o esta!o !e aceita$%o e o !e re&ei$%o. B a fun$%o !e transi$%o *ue !iz 7 '*uina *ue s+ (olo escre"er# co o o"er a ca(e$a e *ual ser' seu no"o esta!o ap>s a u!an$a# !a!os o s+ (olo *ue ele aca(ou !e ler na fita e o esta!o e *ue se encontra. aut: atos finitos# '*uinas !e ;uring

Apesar !e sua se elhan$a co possue !iferen$as essenciais:

M'*uinas !e turing po!e tanto ler co o escre"er !a filha. A ca(e$a po!e o"er<se para a (os os la!os. A fita infinita Os esta!os !e aceita$%o e re&ei$%o s%o i e!iata ente processa!os.

C8e plo !e u a

'*uina !e ;uring si ples

B a '*uina M *ue co puta a so a !e !ois n) eros naturais n0 e n4# representa!os na nota$%o un'ria. Cntra!a: 0 n020n4D sa+!a !e"e ser 0n0En4. A i!ia !eslocar o nu ero 2 at a e8tre i!a!e !ireita !a fita# ou se&a at o fi !a ca!eia n4 e assi o resulta!o na fita ser' a so a !as es as. Algorit o: 0. Cn*uanto n%o encontrar u sen%o# re&eite. 2 "' para !ireita. -e encontrar "' para 4#

4. F' u a clula para a !ireita# se encontrar 0 # tro*ue<o por 2 e "' para 5# se encontrar o s+ (olo "azio aceite# se encontrar o s+ (olo 2# re&eite. 5. F' u a clula para a es*uer!a e tro*ue o 2 por u 0. e "' para 0.

M'*uina !e ;uring Bni"ersal "It is possible to invent a single machine which can be used to compute any computable sequence. If this machine U is supplied with the tape on the beginning of which is written the string of quintuples separated by semicolons of some computing machine M, then U will compute the same sequence as M" (italics added, Turing in Undecidable p. 12 !. A '*uina !e ;uring uni"ersal !efini!a aci a pelo pr>prio Allan ;uring assi cha a!a !e"i!o 7 sua capaci!a!e !e si ular *ual*uer outra '*uina 7 partir !a !escri$%o !a '*uina !e entra!a. Cla ilustra (e os pro(le as !e in!eci(ili!a!e e alguns e8e plos ser%o apresenta!os na sess%o referente ao /ro(le a !a /ara!a.

Decidibilidade
Linguagens ,eci!+"eis B a linguage !eci!+"el u a linguage e *ue e8iste u a '*uina !e ;uring *ue# *uan!o rece(e u a ca!eia !e entra!a aceita<a ou 7 re&eita# !essa for a# a '*uina !e ;uring se pre a !eci!e. C8e plo 0: Neste e8e plo ser' testa!o o pro(le a !e aceita$%o referente a u AF,# ou se&a# se o es o aceita u a ca!eia G. /ara isso ser' esta(eleci!a u a linguage Aaf! e sua !eci(ili!a!e constata!a ap>s o processo# ela esta !efini!a co o: Aaf! H IJK#GL M K u AF, *ue aceita a ca!eia !e entra!a GN

Algorit o para a '*uina !e ;uring M: 0< -i ule o aut: ato K co respeito 7 entra!a G 4< Ferifi*ue se ela ter ina e u esta!o !e aceita$%o# caso si aceita# sen%o# re&eite.

,etalhes referentes ' si ula$%o !o AF, fora a(stra+!os para n%o fu&ir ao escopo# as (o !ei8ar claro *ue a a*uina M faz "erifica$6es !e corretu!e !a entra!a JK#GL (e co o realiza a si ula$%o !ireta ente# fazen!o registro !e esta!os e realizan!o as transi$6es pertinentes !escritas na fun$%o !e transi$%o !o AF,. Na reali!a!e tanto AF,s tal co o o aci a#u AFN ou e8press%o regular po!eria ser co puta!os por u a '*uina !e ;uring pois to!os eles po!e ser con"erti!os uns para os outros.

O pr>8i o e8e plo faz referencia ao cha a!o teste !e "acui!a!e(-ipser) para a linguage !e u aut: ato finito.Nela o o(&eti"o "erificar a aceita$%o ou n%o !e algu a ca!eia por u AF,. C8e plo 4: Faf! H I JAL M A u Faf! !eci!+"el P Algorit o: 0< Mar*ue o esta!o inicial A e "' para 4. 4< Cn*uanto nenhu no"o esta!o for arca!o# ar*ue *ual*uer esta!o *ue possua u a transi$6es chegan!o nele "in!os !e esta!os &' acar!os. 5< -e nenhu esta!o !e aceita$%o esti"er arca!o# aceite# sen%o# re&eite. Os e8e plos 7 seguir trata linguagens li"res !o conte8to. C8e plo 5: Analoga ente ao pro(le a !e teste !e aceita$%o !o e8e plo 0# o e8e plo atual !e onstra o pro(le a !e testar a gera$%o !e u a ca!eira por u GLC para assi constatar a !eci(ili!a!e !e u a linguage # no caso# Aglc !efini!a co o: Aglc H I JG#GL M G u a GLC *ue gera a ca!eia G N A pri eira i!ia *ue surge tentar to!as as poss+"eis !eri"a$6es !e G para constatar se algu a !elas igual 7 G. Apesar !e si ples e correta# a i!ia in"i'"el ten!o e "ista *ue se G n%o gerar G a '*uina entraria e loop infinito. Assi u a for a ais inteligente faz<se necess'ria. Btilizan!o a For a Nor al !e Cho sQR# certo *ue *ual*uer !eri"a$%o ter' 4n<0 co n sen!o igual ao co pri ento !e G. Co (ase nisso e a(strain!o !a!os espec+ficos so(re a constru$%o !a For a Nor al o algorit o ficar' co o: Algorit o so(re JG#GL # sen!o G a GLC e SGT a ca!eia: 0< Apli*ue o processo para con"erter G !e sua for a inicial para u GLC e*ui"alente na For a Nor al !e Cho sQR. 4< Ferifi*ue o co pri ento !e G# se for aior *ue 2# liste to!as as !eri"a$6es !e 4n<0 passos ( co n H MGM ) # sen%o liste to!as as !eri"a$6es co 0 passo. 5< -e algu a !as !eri"a$6es gerar G# aceite# caso contr'rio# re&eite. !e pro(le as !eci!+"eis co rela$%o 7 AF, e L(A) H O N

!roblema da !arada"
Nesta se$%o falare os !e u !os ais i portantes pro(le as conheci!a ente in!eci!+"el# o pro(le a !a para!a *ue po!e ser !efini!o co o: Dado a descrio formal de um programa como a entrada inicial, determinar se o programa, quando executado nesta entrada sempre para. O pro(le a !a para!a foi u !os pri eiro pro(le as a sere pro"a!os co o in!eci!+"el# e aio 015= Alan ;uring# e seu artigo On Computable umbers !it" an #pplication to t"e $ntsc"eidungsproblem # pro"ou *ue n%o po!e e8istir u proce!i ento geral para resol"er o pro(le a !a para!a para to!as as entra!as poss+"eis e ci a !a Ma*uina !e ;uring# conseguin!o a pro"a re!uzin!o o pro(le a !a para!a ao #ntsc$eidungs!roblem# o *ual ha"ia si!o pro"a!o co o in!eci!+"el por Alonzo Church e a(ril !o es o ano. Muitos outros pro(le as !epois fora pro"a!os co o in!ici!+"eis utilizan!o o pro(le a co o (ase e usan!o a re!uti(ili!a!e para ostrar *ue os !ois pro(le as s%o e*ui"alentes. ;uring utilizou o to!o !a re!u$%o ao a(sur!o para conseguir pro"ar *ue o pro(le a !a para!a in!eci!+"el# ou se&a ele assu iu *ue ela era !eci!+"el e o(te"e u a contra!i$%o# chegan!o a u a pro"a (e si ilar 7 utiliza!a por GU!el e seu teore a !a inco pletu!e. .!ia !a pro"a: -e&a - u a M'*uina !e ;uring tal *ue: M H I(-#G) M A u a M'*uina !e ;uring e - aceita GN -upo os 3alt se&a u proce!i ento !ecisor para a a*uina M# ou se&a# 3alt se pre para. 3alt so(re a entra!a (-# G) sen!o A u a a*uina !e ;uring e G u a ca!eia# 3alt aceita se - aceitar a ca!eia G# caso - n%o aceite G# 3alt re&eita M. /ega os agora u a no"a '*uina !e ;uring , *ue possui o proce!i ento 3alt co o sua su(rotina# cha an!o 3alt para !eter inar o *ue - faz *uan!o a entra!a para - J-L# a sua pr>pria !escri$%o. A '*uina , faz o oposto# ou se&a: ,(J-L) H aceita se - n%o aceita J-L ,(J-L) H re&eita se - aceita J-L ;enta os agora ro!ar a a*uina !e ;uring , utilizan!o a sua es a !escri$%o !enota!a por J,L co o entra!a o(eten!o assi a seguinte !efini$%o: ,(J,L) H aceita se , n%o aceita J,L

,(J,L) H re&eita se , aceita J,L Atra"s !este e8e plo chega os a conclus%o !e *ue in!epen!ente ente !o funciona ento !a '*uina ,# ela se torna for$a!a a fazer o contrario# chegan!o assi e u a contra!i$%o# portanto ne a '*uina , ne o proce!i ento 3alt po!e e8istir.

teorema de %ice"
B a !as conse*V9ncias !o pro(le a !a para!a ser pro"a!o co o u pro(le a in!eci!+"el o cha a!o teore a !e Rice *ue conheci!o ta ( por t$e %ice-M&$ill-'$a!iro t$eorem( O teore a !e Rice !iz *ue to!o o teste !e *ual*uer proprie!a!e *ue n%o se&a tri"iais relati"as a linguagens reconheci!as por '*uinas !e ;uring in!eci!+"el. #)em!lo" -e&a / u pro(le a so(re '*uinas !e ;uring satisfazen!o as seguintes proprie!a!es: 0. para *uais*uer '*uinas M0 e M4# on!e L(M0) H L(M4)# te os *ue (M0) pertence a / se e so ente se (M4) pertence a /. C outras pala"ras# M pertence a / !epen!en!o apenas !a linguage reconheci!a por M. 4. C8iste M0 e M4 tais *ue (M0) pertence a / e (M4) n%o pertence a /. C outras pala"ras# / n%o tri"ial. ;e os *ue / in!eci!+"el. Id*ia da !rova" -uponha *ue C !eci!+"el por u a '*uina !e ;uring R# usare os esta suposi$%o para construir u a a*uina !e ;uring - *ue !eci!e a a*uina M !efini!a no pro(le a !a para!a# chegan!o assi e u a pro"a por contra!i$%o. -e&a M0 u a a*uina tal *ue (M0) pertence a / e M4 u a a*uina tal *ue (M4) n%o pertence a /# A i!ia !e usar R para construir u a - *ue !eci!e M a seguite: ,a!a u a a*uina , co o entra!a# o!ifica os ,# !e o!o a o(ter u a a*uina correspon!ente ,T tal *ue ,T se co porte co o M0# se , aceita G e se co porta co o M4# caso contr'rio. Assi o pro(le a !e !eci!ir se , aceita G se re!uz ao pro(le a !e !eci!ir se (,T) pertence a /. A '*uina - *ue !eci!e M usan!o R !efini!a !a seguinte for a: '*uina !e ;uring e G u a ca!eia

- H Cntra!a: (,#G) # on!e , u a

0. Construa a seguinte a*uina !e ;uring ,T: ,T H Cntra!a: ca!eia G

i. C8ecuta , e M4 e paralelo ate chegar ao o ento e *ue , e M4 para . ii. -e , aceita G# ent%o e8ecuta M0 so(re GD se M0 aceita# aceiteD se M0 re&eita# re&eite. iii. -e , re&eita G ent%o -e M4 aceita# aceiteD se M4 re&eita# re&eite. 4. C8ecute R so(re a entra!a (,T) 5. -e R aceita# ent%o aceiteD se R re&eita# ent%o re&eite. W i portante resaltar *ue o teore a !e Rice aplica!o 7s proprie!a!es !as linguagens *ue s%o aceitas pelas '*uinas !e ;uring# n%o 7s '*uinas !e ;uring e si propria ente !itas. Outros e8e plos !e pro(le as !e !ecis%o cu&a a insolu(ili!a!e segue o teore a !e Rice: ,a!a u ,a!a u ,a!a u ,a!a u a XP ,a!a u ,a!a u a a a a a a '*uina !e ;uring ;# L(;) n%o "aziaP '*uina !e ;uring ;# ; aceita pelo enos !uas stringsP '*uina !e ;uring ;# a linguage aceita por ; finitaP '*uina !e ;uring ; co alfa(eto !e entra!a # L(;) igual '*uina !e ;uring ;# a linguage '*uina !e ;uring ;# a linguage aceita por ; regularP aceita por ; recursi"aP

%edutibilidade"
Falare os agora so(re o principal to!o utiliza!o para pro"ar *ue !eter ina!os pro(le as s%o in!eci!+"eis por *ual*uer o!elo co putacional e*ui"alente 7 '*uina !e ;uring# a utiliza$%o !a tcnica !a re!u$%o. B a re!u$%o na!a ais !o *ue u algorit o para con"erter instYncias !e u pro(le a / para instYncias !e u pro(le a /T#ou se&a a re!u$%o !e"e transfor ar instYncias !e p0 *ue possui u a resposta ?si @ e u a instYncia !e p4 *ue possui a es a resposta . Neste caso !ize os *ue / se re!uz a /T. ,esta for a po!e os garantir *ue resol"er o pro(le a / n%o ais !if+cil *ue resol"er o pro(le a /T pois u a solu$%o para o pro(le a /T gera u a solu$%o para o pro(le a /. No caso !a teoria !a co puta(ili!a!e# po!e os afir ar *ue se u !a!o pro(le a / po!e ser re!uzi!o ao pro(le a /T e /T u pro(le a !eci!+"el isto i plica *ue / ta ( !eci!+"el# pois no caso po!er+a os utilizar u a solu$%o !e /T para resol"er /. ,a es a aneira se / pro"a!o co o insol)"el e ele consegue ser re!uzi!o a /T isso i plica *ue /T ta ( insol)"el o *ue nos !' u po!eroso to!o para pro"ar *ue u pro(le a i!eci!+"el# *ue no caso seria pegar u pro(le a conheci!a ente in!eci!+"el# co o o pro(le a !a para!a *ue ser' e8plica!o ais a!iante# e re!uzi<lo ao pro(le a e pr'tica. po!e os ta ( utilizar o conceito !e re!uti(ili!a!e# na teoria !a co ple8i!a!e# para po!er os pro"ar *ue u !eter ina!o pro(le a

/ N/<Co pleto. /ro"a os *ue / N/<Co pleto se conseguir os realizar u a re!u$%o e te po polino ial !o pro(le a / para u outro pro(le a /Tconheci!a ente co o N/<Co pleto# co o o pro(le a !e -A; ou o pro(le a !a co(ertura !e "rtice. Neste caso !ize os *ue / eficiente ente re!ut+"el ao pro(le a /T. A seguir ostra os u e8e plo !e re!uti(ili!a!e. #)em!lo" Fa os consi!erar u pro(le a relaciona!o# /ARA co o pro(le a !e se !eter inar se u a '*uina !e ;uring para (aceitan!o ou re&eitan!o) so(re u a !a!a entra!a. Bsa os a in!eci!i(ili!a!e !o teore a ostra!o no pro(le a !a para!a# a '*uina M# para pro"ar a in!eci!i(ili!a!e !e /ARA re!uzin!o<o a ele. -e&a: /ARA H I(,#G) M , u a GN Zuere os pro"ar *ue /ARA in!eci!+"el. Id*ia da Prova( Bsare os a pro"a por contra!i$%o assu in!o *ue /ARA !eci!+"el usan!o a suposi$%o para ostrar *ue o teore a pro"a!o no pro(le a !a para!a ta ( !eci!+"el chegan!o assi a u a contra!i$%o. Fa os assu ir *ue te os u a '*uina !e ;uring R *ue !eci!e /ARA Cnt%o usa os R para construir -# u a '*uina *ue !eci!e a '*uina M !a!a no pro(le a !a para!a. Prova( Fa os assu ir co o prop>sito !e o(ter u a contra!ic%o *ue a '*uina R !eci!e /ARA. Constru+ os - para !eci!ir ,# e te os - operan!o !a seguinte for a: - H ?-o(re a entra!a (,#G)# u a co!ifica$%o !e u a , e u a ca!eia G: a*uina !e ;uring '*uina !e ;uring e , para so(re a entra!a

0. Ro!e R so(re a entra!a (,#G). 4. -e R re&eita re&eite. 5. -e R aceita# si ule , so(re G at *ue ela pare. [. -e , aceitou# aceiteD se , re&eitou re&eite.@ Clara ente# se R !eci!e /ARA ent%o - !eci!e M. co o M in!eci!+"el# /ARA ta ( te *ue o(rigat>ria ente ser in!eci!+"el. Assi co o este e8e plo# e8iste u a srie !e outros pro(le as *ue co pro"a!a ente in!eci!+"eis na pr>8i a sec$%o Citare os alguns !eles !an!o u a (re"e !escri$%o so(re ca!a u :

utros !roblemas indecid+veis"

#ntsc$eidungs!roblem " Cntschei!ungspro(le (pro(le a !e !ecis%o e ale %o) u !os pri eiros e u !os ais i portantes pro(le as !e !ecis%o. Cle consiste !e u !esafio na l>gica si (>lica para achar u algor+t o *ue se&a !e prop>sito geral *ue !eci!e para u !a!o enuncia!o na l>gica !e pri eira or!e se ela uni"ersal ente "ali!a ou n%o. A pro"a foi !a!a por Alonzo Church e a(ril !e 015= e logo !epois por Alan ;uring e aio !e 015=# tra(alhan!o in!epen!ente ente ostran!o *ue era i poss+"el. ;uring conseguiu re!uzir este pro(le a para o pro(le a !a para!a para a*uina !e ;uring. ;anto Church co o ;uring ti"era u a gran!e influ9ncia !o teore a !a inco pletu!e !e GU!el. Post corres!ondence !roblem,PCP-" W u pro(le a in!eci!+"el# !e !ecis%o proposto por C il /ost e 01[=. /or ele ser ais si ples *ue o pro(le a !a para!a e !o *ue o #ntsc$eidungs!roblem . ele te si!o fre*uente ente utiliza!o *uan!o *uere os pro"ar *ue u !a!o pro(le a in!eci!+"el# principal ente no estu!o !e linguagens for ais# co o por e8e plo na e*ui"al9ncia !e reconhece!ores sint'ticos !e linguagens. O /C/ te co o o(&eti"o for ar u a pala"ra !e !uas for as !iferentes. -%o utiliza!as !uas se*V9ncias J\0# \4# ...# \NL e J]0# ]4# ...# ]NL# consistin!o !e pala"ras so(re algu alfa(eto finito co o entra!a para o pro(le a. O pro(le a te co o o(&eti"o !esco(rir se poss+"el escolher algu a se*V9ncia !e \Ts# cu&a concatena$%o for a u a no"a pala"ra# !e for a *ue a es a se*V9ncia !e escolhas feita para a se*V9ncia ]# ta ( for e a es a pala"ra. Problema da equival/ncia de !rogramas" N%o e8iste u algorit o *ue !eci!e se !ois proce!i entos !a!os / e Z s%o e*ui"alentesD ais precisa ente# n%o e8iste u proce!i ento C*(/# Z) tal *ue C* p'ra co *uais*uer !a!os !e entra!a# e C*(/# Z) H ; se os proce!i entos / e Z calcula a es a fun$%o e C*(/# Z) H F e caso contr'rio Problema das Palavras em 0ru!os" W in!eci!+"el se !uas pala"ras !a!as representa o es o ele ento !e u grupo finita ente apresenta!o.

Concluso"
,entre to!os os o!elos co putacionais# o o!elo !a '*uina !e ;uring se !u"i!a u !os ais i portantes e ais estu!a!os. Alguns afir a este ser o ?pai@ !a ci9ncia !a co puta$%o o!erna e gra$as a ele !i"ersos pro(le as cl'ssicos pu!era ser resol"i!os. Apesar !e uito po!erosas# '*uinas !e ;uring po!e resol"er apenas pro(le as *ue s%o algorit ica ente sol)"eis. O e8e plo !o pro(le a !a para!a !escrito anterior ente u cl'ssico !e u a *uest%o concreta e si ples !e ser for ula!a# por i poss+"el !e ser resol"i!o atra"s !a '*uina !e ;uring. Mes o co a in!eci(ili!a!e !e certos pro(le as# !e e8tre a i portYncia ter conheci ento no assunto !e for a 7 po!er i!entifica<los pre"ia ente e po!er trata<los !e for a a!e*ua!a afi !e e"itar custos !esnecess'rios e per!a !e te po. Cnfi # incr+"el o fato !e *ue apesar !a ;ese !e Church<;uring ter si!o pu(lica!a a tanto te po# os co puta!ores o!ernos possue o es o po!er co putacional *ue a '*uina !e ;uring proposta.

1ibliografia"
3arel# ,. (0114). Algorith ics ^ ;he -pirit of Co puting -ipser# M. (011=)# .ntro!uction to the ;heorR of Co putation _a "Rsselis# M. (011=). Bni"ersal ;uring Machine. Jhttp:``Ge(. it.e!u` anoli`turing`GGG`turing.ht lL. aohn 3opcroft an! aeffreR Bll an# .ntro!uction to Auto ata ;heorR# Languages an! Co putation# A!!ison<besleR http:``en.GiQipe!ia.org`GiQi`Listcofcun!eci!a(lecpro(le s http:``en.GiQipe!ia.org`GiQi`Riced4esctheore http:``en.GiQipe!ia.org`GiQi`3altingcpro(le http:``en.GiQipe!ia.org`GiQi`Cntschei!ungspro(le

http:``en.GiQipe!ia.org`GiQi`Co puterctheorR