Modelli (Fondamenti informatica 2)

Modell i' coloaust calan diitalesscompl

or lacalcolo quantileplessita di di e-programcom un marichestdi la eseaeziriso rse onesuaper .Le calcolo laconsiderate tempoie esecutidi diriser one ese mesono : .utilizzate importantdal taupo laJe'moria pine-program ma ..Quester ' algorithm ulilizzatodellchedidue pseudorisorse quiwdimo au ,consider la computational problemcomplessita ladiche e-:amo un asolve problemcomplaint iechediminima a- riprogram ma aun -delleauolisi'Con portamentocomplessitacapiamoe ie di uncom' armentainputecheprogram manomanma .Se utilizzassimo calweare'ssecond temp diie eseaetionei nowperoggetlivavalutazidterremmo bisoguachi contotemerpoiuna one ,' del datedell elaborator limguaggio di deimain ine program one, ,taingress lorodelle significativee .La )elementary( Machine machina attacheastrECEM e- unedifference algorithmquelle Vondi di Neumann esqueadescribe Civellolimguoggio altoin adun .Per la delvalutainome algorithmcoste di cheassumiaeuomeabbiaelemental cost emitarioogui operation re .( )Es di ifil test ililcost la conditione- e-se+um veracorpo:La dimension dell ' input quantilebe necessariesdi memoriae- deldat Solitamenleprobleminputbit diin memorize i e-areper a .al inputdateuguole dei innumero .Per valutare lacosteil rife almentodi si ri casosempreprogram maunepeggiore . asimtotinotation antiche considerable multiplicativecostchesome nom determinate' aiudouueuh sopraltultoperche qualitativee de e-e- m se nmolto granite .

Ntazio rno grandene o oe

:- ,Un tchil diOff istruzioui devoha che)costa )Ch ) se numeromaprogram ,nel input verificaeseguite diseguagliauzabepeggioreno caso nconencore fant b( ) )s an x t .delimitationUn )ha algorithmfan(superiore esisteOprogram mesemasoluzidi (finscomplessita )eke he O-one .'the istruzione definite algae'dominant dellilpresenter coste- se rap' frequentistruzioneritmo menteel eseguitapined 'e- .'fumzioneDate l ' dellel fonzieinsane )SCgcn insane) e- ai)gemima ,valeri valorche alonedirimaggio pair gcn )per no e aassume nono one .Uma fomzioue ( )O)Of )Rfchegemgens siae- gense-sef- )OT f-)ch al massimoCh e-Cm gcn )) g ⇐e . :ii'myxf- fun)(D almeriaCn gem ⇐7) e-E gcn ) . ✓r( )n> hf-Abbiauio )proprietor O ( D )(f3 gemI cmcm EE gem ⇐: . fth fan)④ ) fan( )( OTA Er2 gemgem) gensEE. fan ) )(F-Olgin fan3 gone)) s⇐E.Tl 'problem basaltdell confronts limeheordinamento nie comeate la logincomplessita )Rcninferiore -per .possible !ordinameuti dii humeri sappierDino n moie: usocio?! )Z trova( vogliamo taleNoi kche cheZnmo re :F I2K )( logFlog! )⇐ z logK KKE IE n→→ n zz n→-login Sort )Ocnlogn) Sort che( Merger air Heapn Sonoper e sawalgorithmoltimali ordimarneutodicome .'

Colacal bi li ta

( )Un elementnumerable ordinateinsane IN i moie- nopossese essene .Tl dei cardinaliha INItaminumero program .Jl bledei cardinaliloro superioreha INItatrami diversnumero apro .Quimdi liesistouo solver devepin 'sproblem che riprogramme per einfinitiForza havinesistere problem che programnonper meno masoluzionecome .Un Tproblems dominuladecisiondi restitvisa sitche-e una noPutveryfalse essex :.filedecide PCT ) terminiesiste che ricesemprese° eprogrammeonesaltaueeute stringhe verificauole JuoltreTcheASCIInose .trueutero YET -4Tfalsestampain ingress irieve seyum e se y, .biledecide quandoesistesemi termineche° sempreprogramse un mala posta siris e- .le decidebileiuedeadibi esiste )ie PCTe-se program manon• e mon .

Problem dellaa fermata

specificEsiste dibeingressQ riche in preprogram cave xmaone unadecide PP termineinputP possiblee per se noe ogrammar yun ' !? problemsfinite iudecidibieeEtempoin input y uncowEDI MOSTRAZION : cheDefiniaeuo utilizzatale problems R a,critter dollar stringdesprocedure -checome r ea, ,input' diaudre Ql .Se Q trueinput woerestitvisce dire ter minceche) R(core rr core,input eutra infinitedoritorno trueQ R in a'ser ma un none,terminal input direSe mudfalseQ ) Rrest che( rrcow see. ,inputtermini false Rritorno termineQsemarnon core , .Dwivedi problems fermataQ ie dellasoever quinolpeut ri enon ,delle fermataie problems iudecidibieee- .problemsalto iuolecidibilethe risotto be congeltune diirancora e-Goldbach scrittidiogui maggiorepari put: essenenumero s sommacomedi andre uguoliprimehumeri2 .

Macchi Turingdina

' Homodeller nelto daE Alandesairico Turing2936im .' qualsiasiE grado problemsole dein di eatrisolubieeri ere meColato dispositionnostra tempomaggioinre maa r, ." Tl fomiiouaueeuto'"' '' Stampaplicee-suo seen :siuefolo nd nostro latestnuovo muoveun ,,destrolettunelscrilturadi sinistralcan a owe finckeStato entreealle in deisuccessive duepasso non uno,stati finale /ACCETA RENTA .hardwiredLa Md T soloe- esqueovvero programone ma .three Turing definite dadimachines e- :alfabeto finite carotene Enostrodi nil• an .finite stateQiusieure di• um . TuttiiuizialeStato Q/speciale ACCETTAdue RENTA in• 3uno : ee .fumio ( ( SIL L}di 8transition ) EQQ IRIACC E• D→F spostamentoune :ne - ,, ,, .¥mboeo scniuereulletestinastaff donicelimguoggioUn L -pro essen :accettaTuring bile Turing accettalodimachineesiste chese° une- .accettotoTuring file Turingmachinededecide diL che sie-se une• -terma inputoguiper .Ad della fermataproblems accettabileie Turingesempio e- nonma,Turing biledecide .Esi stone Turing nostrimulti hannomachine nostro kchedi ,he Testa lettuce lscriltoraa- propriacowainoas .

Universal Turing machina

( )UIn particular lo universalTuringMachina di hee veolianostris ,realizza machinedi nostrotei pani una smo come cow :Csi Ea )mu e' input )ICenostro solo lettuce descriziouediie beprimo coutieuediUdi M1 e- e .. simulail 'allsecondo continueiuiziote2 0e .. 'nostro allusato naotoie terzorappreseuto ie H initioda e-3 e .. 'ALL IN 12-10 : ESECNZIONEIN : NASTRO 27NASTRO I> DESC ONE DIM12127LONE< DESCENT D µ,IINPUT U NASTROS 2SU r ANASTATO MDkLENASTROS Z pr VOTOV 3NASTROg NASTRO DI MNASTRO 3> ( )INPUT IVOTO✓Codifichiaueo simboliM string dicome una :'dato alfabetol DJ10,1 la codifier o yo2 BIe- → →-, .,dali stat codifiedgli be 95710,9531292,93 e- s9=>0,9go.gs →-. ,,, , . ., .quest codificauodestrodali movimenti siuistra.nessw.no sii SRL , .,,J machine universalTuringdella dipani souo : vistisiueboli' codificationmastro Inel inputCopia 30 ieI sopracom .. contentoInitialized codifieddelie secondo mastro la2. condello initialstato Mdi . )letterTm CEallo Stato al Simbelbase ) mastro(nostro3. 3-e applicatorsul transitionnostrosi che peut essenunecerca .plica be trans contentoAp modificauedo del4. ieazione 30nostro albase stato20 inie di teaggiormauoloe nuovo . 'finale Termineil statoSe state unihelldi M5 e- unonuovo. ,Altrimeutistate finale alUdi torrid 3co passo. .equivalentsLe nostromachine di Turing quellead sono aun passipi -in uIstene abbiaeuomulti fare lemastro caseero posse comeour no e, normalemulti simulamastromacchiwish put rue unamaima .Le Turingdimachine atepresent cheesserepossowo coreaurap one(dellegrafo statetrousizioui )transitiondiagram o unee conin atoilette .( tabellore colonnepresentation composted die 5e-rapa :movimento cheStatoletter simboloieSimbelStato Nuovoin air farci Testinolesostituirawiin 'si chetrovasi festinadelle e' istroziouequelle letter esegweeudolatrovera- Cpube CpuUna machine deterministicTuring dice hadi losi ie vivoseafestina beletterwholestatedat trausizidache dasiun oneeemo ,, Sedeterminatewuivocarueute questersia vincoloheeesquire e-non.Putdeterministic Tdeterministicesistere HDTmore auna unee nona .'deterministic )'()T tali ( =Lche TL Ta .,

Tes l di Turingchurch

-II Tutto lecolone diquelle cal calcolare machineloche -si si - compao pao"Turing .Questa laAndreten machine PostPostprorate Emilediput essenewere . tecalcolo ? LaChurchdi houuo dicehe saladecapacitord diie stems sie - bile loesisteche Turingsolo dimachinedecide che ricouosae-programme se unaune .trovafuturoescluedereQuesta ten possiblechepercheprivate inpossiaueo- siput reessenemon non acolo potentcaldelle pin problemdi iuolecidifilirisoeuauo- ee PeroMDTche tutti-mo com eraper.calado elenquellimodelli Cali equivalent( velatevedidi ) rii sisopra sono .coucetteuele computer( didel