Sei sulla pagina 1di 11
bok Capitolo 1 Ricorsivita 1A Le final horse LLL Alot cri, elolbitd H conceto goin & ols eos dl sos formatis a ut lt, sat a matemticecomputzinae const nla ricerne define dh proceiment dt calcole che consentono di peeve alt cduzione di un protiea (numero, sinbolio, con Iinatorio ee) mediante una Seqvnca fit i operon, comple famenteeuniceamente determinate, Proceiment di quero Spo, det sppunt alesis (sopra: rome ut mematico ato del nono ‘ecto, arKManZm), 5 o- ‘ao in ate fe fai dllo seuppo cals mtematicn 5 pent ad ‘erp, a slpritm bablone! per il clcolo delinterete composto (stat da Keuth (1972), ap lori i ata geometric utlzst, fa pos per rislverepobte lgebric, ap agri i adione ¢ molpicasion, bat sl stems dk appreentzione poonale, Inport dalVade ilo seo arRhacan, ala soluione del “pro ea dei cnigh” fornia da Flbrace pretence fritone neon Fo)-0 sO") poem, Fest xn ef00- 1), Lawento de calcolatori, ¢ quinldell meceanizazone dels ee no del element central ch colle ‘materi eomputaional alin 2 Coote primo ‘xone de cao ha inposto un fomalizscone lis diicone eg algun ena scttra devel progres “nol fa imposto un apprfondimenta (eke a soto none “informatics orc”) i del propels sitatiche deg alga « 0, 5, fansone successor: xe 1) Come i vd, stata d funtion che contspendono a operacion ‘lemntar sgt srgoment, uaa peertioe dn are costante 20 [a slerone due tapi atgoment inererent di una uth {al valor élagoment. ‘Gi operon che conseaton di dfiate nuove fezion’ sone carat tena come #0 ~weione 12 Se hue cone dm rgoment 8. 6 Cette rine sono m fasion dn argomenti dime che FN & ottenuta per amposiione deh € 8, 9 econ dent 8 Ra) eB Bes) [A eso la forzione 25-2) cot defini: 25@)-566e0. Defaicione 1.3 Se une fncione dl n+2 argomont eg &.una ‘ione dtm argoment, diana che N""- tle pe urione priming de 68 cot defo aloe EC 9) 1, alana ys Xn FE os Fue 3D Seu a quind dfn pr vicusione prints a parte dal arsione Dele] e dalla furione Mu Av hv [wrt Ja he Bo [SUL 8 De esmp on segue sey=0, loa x sh seyertl, allow PO). Defnisone 14 Seg 8 una fsione rotted m+ eroment ciomo che TN toma porminimaizzione (operator) 8 € co dents Mero Sa) Wee os 2H OH ove pp] demo nio y ae che chiro che se om east tle che a fanzione fsa on sft, ‘Ad esp, parte intern dla rade guadrt pub cot de Rat v vEremlesPetiptest ‘A gusto porto possnmo definite a clase dle Fuzion reosve pura ol segunte modo Defnsione LS. Lee delle fio crs pari 9 & be i pcos content efit base echs rape a om Dostone, cusone print € minimalist quid chro che le fusion diate neg emp preston sono ttt faman cote, in partcalae total. ‘Ove neces indcerema con 9 Fseme delle Fuzion ser iv par margment Con smbolo 9 iadiheramo le fu ‘Son cove tual di argent, ‘Come abba deo, edefinzion fasion bas € operator consentono di dxtemiate ashe come unt fonione icra pari le pt enere cabs ‘Veleema oi pagal sce var moa pe formalizare con ceito di alco una fusion, sod ce utllzano procediment ‘dt (come call equations) o macchine state (come Ia Caleb srcindo Taig) uta, pr fare le ee, veined Semple diagrams Bloeh! che chemtnzno proceed ‘Asano eve con snbolo[ FEED] rare, come ak sotto i eleoto dela tnzone j 8 eoraspondeazn al rote ¥ ae foment «Fasggusion dl vlore ala arable. Seppniame lor she perl fucose pari, yon 880 to procedimerto di cleolo: pee una fosione riers paral ft powomo presale 1 ei 3) deft per composzone da Bs fal Cette prime Reid » bye dais por ncuron prima de A, Ps Sy Oe ingrained avee elo viene ee ‘ato dettamere a pattie da fs X90, pstando pot al ak oo di fly Sf) eco i al cece? da Da) ease al prino metodo viene proptamente dat I nome di cu sion, a sc vee dato ome 8 terzione ‘Onerviamo st esempo come due meted ifericano ne calelo “st forte as dfnaen erat dl fatto @ Ta sequent: : 1 10 a0 nomen ; aon ‘Se confiontiamo le definizion’ introdotte nel paragrafo precedente bal gore Sl ee ears aries A Se ee 2 Ae eee an ST marae | ; 3G sree 0 88 ter eset eeoo ection f 338 Slt I-tt 2» apt prino Secondo ls dfinnone rors se x=0, allo 1 serezt alos 3 fat) su i acolo deeb invecesvlgen ei segue pa peo istutone 1 tans 2 [sea No Sate) fata) 2 2-00 NO 2 Bae), a(t) 321 1-0? NO 321 1a), ie 3210 913.2.1,0 fat 3.2,1,0 aal 32, 3 Lo E chiro che i numero di pas complesio ines come numero 4 operant elena (Somme, prodot, tes, asegnazion) rimane Sbetiaaimene lo esto. Utes fono vec sequeama ele ‘operazion a geton dels memar Tn un sas int progrdie de clclo ene sand dal cont fore et ula paral Yergono Tuno dopo Palo memerzzt in anlfaeo cao i roped del ala ean dt sucess ‘el cursione i quali contemplano anche a memorizaione a ‘use lvo si delaln nwn as dl agomento = ds Taio ‘esa de punt ito dle eit ove dave it pa ‘Questa ference caso in ei il mescaismo di cleo sis a tomatzzt, sete nun vanago peri programmatre, i quale ‘quando sre‘ prima rizr, nom deve prececopars oh get {in pra peso contr lat) pri present invece fps svantsgian dal puto dist dlingombo ck memoda do- ‘to ls cect dlls memers s pullown sn conspondeaza 2 gan alo de arpoment. Non & gust I sede per una approfonitadicasone delle de teanie del eaolo,tatvia voglam sotalizeare come | ve Comma Ts bast sul sonst d definnion eclelo rics usa fa. alone (¢ quid sin Fomalsmo git intodoto sa quali che in dure el posino paageto) hanno eonsereto tn ral centile nella fora dela progrimssione:inanatuto lene dus impor ‘ant gua! proprammarone (TALGOL ei LISP) soo basa fulsdtiniione acre del furaion i elaione ae, MeCa fly ha inrodogo un nuovo Formals matenatico,prtioarmente Interesnt, cu acnmnerero sempre nel posse pars) ins ‘condo lingo Instrteura sori 8 mostra vantagzio mello studio nal dmestnzione formal dle prope semantche de prog Income, af emp, la cortez Fegutalena ‘ee quanto mpd le propitcomputaziona invest @ sl metodo i alo ierivo che preta uns aggre teaspeenza (ome del Testo la ance di srpli empl ft ing sopeatato per ‘att rguards le ore edited clclo, dot tempo (0 nune fo di sruzion eg) «spar (cine numero i pce memoria hie pot memorizzare dae rltat ited. Per quest non, opo 3¥er neodoto el prosino paragrafo a metod i defnconeeclclo di fneion baste ou eoneeto| Ai sisursons, aseemo # entre due Sp i rschine state le nun a fepateleechie 6 Tig, che sono pariolarmente Tepe a etod dao tert dle fnzin! aes e pe le ‘Galo sto dale pepeet ol complesitssorsputazonale presenta ‘Seater 0 ntrean 1.14 Le eqecon fconal ei formation dt MeCarhy CConerian ra ese fori preceentemente,b defini one dels Tuone Som 20, allorax fe ye2t,allra (2)41 sn pd este rita yer mezzo dell segunt de equazion: 2) somna fx, Os; 2) somna 6 S(@)>S(somma (x £). + o1a volo clot i vulore a romma(, 2) pssiano gee racy pte Sa quel date, urn Soquena di equain, lima del t-te ual ci vane cereato (St at hei mumero n 8 appesntto da S05(.s510)))) 43) comma (S(0},SIS(0)-SleommstS(0, 10), 44) somma(S(0), 10))=SGorxm4S(0), 0), 5) soma (S(0) 0)=8(0), 6) soma (S10), 10)}=810), 1) som (S(0} S1510))-S1S110). Le reqole che ci hanno consemito di gnente quest sequeaze son0 chiae a un punto di vista intliv. ee constono nll sotto ne alr numer (pes come aboiamo dt) a post dalle abl 3,45) 0 nella sostiuion dl vlore numero Suna fan. ‘ane gi elas al posto del esprssione dln fnzione (6, 7. I procedimento di aloo termi ehasumente quand tino 4 produme Uaqustone 7 ce dH valve ume cnrpondente « soma (50), S110). chao che so ora voglame deine prodeto avr biog 4 gutta equason: due sono ls definiatone del podotta per eu lone pnts nipeto al somn, du sao la definiione (git Sta) dla sms pr ricuson primi ptt a ise. 2) proéotto (x, 0)-0, 2) prodoro (x tz)ysomma(prodtt (2), 3) somm (x, Oe, 4) sos (x, St2)>S\somma (2). Su un piano pl forma possano deine aguageo delle eg on fnztonali (Kee, 1946) a seguente rod Defninione 1.8 ie sem at equzion!funionsl@ um seme ‘fio ondinato dh eruttresintattich com definite (en notaione dt Basia eq, fasionsl"== Stormin! () varie) ) an it = termine, ae It» Sranables=r “fieone>'=ogn some costito do wna sequen di cara (er alli con unis condition chen opi partisan se i fusion corsponds sempre lo seso numer di pene Un teanne fel tpo US. 0) ven dtto uments « per ‘onvenone vee rapprecntto da ‘Un teanine fel tipo sfunsone> (, viene po dt tee sostante ‘Otte w isle ps wt, font nso, come esp, equ slog eltive «une fone che aero cesione contre sept, ) 8. AGE), SO)=AKE, ASL). 9). Fenmlnent, I ol di caleolo st deinicono oe segue modo: Defnnione 1.7 $e 7 © # sno trmin o<€ una voible, cn Atel iniciana i termine ohe ottenimasoutiendo fa oi 0° fsa d= 1 2) reoladouiturone: tex 8 uno serie eae rumen da aqussone =P" deducomo Pequssone rehash, 1b) eg impazzament: sea ae termine costnte, x ns v= deuce Pepuasione Nal pin eempo abbiamo vit che da sna, S(2)nStoomma (& 2) per tosttazioge dk Taxe dt Faz sl ottine era (i, 3)=s(somna (7,1) B-Tt ” cet prime soana (i . soama (1, 3)=Stsomma (3,1) ec impiszeamento oi 3a posto del temine costante som (i, soa (1,3) Defnsione 18 Una fione fH @caleolbile mediante calla egal ete wy tena eit fio ca ‘some wr some di fain f tale ce, per og Xs neo Iho) ty %x)=¥ allo con an mar ft A applic on dele epte di oticionee di rinpazameno si dace equazione Hes Tormando ancora sh esp st, spud faimente oservare co se le furan somumae progtto se ecole i eleolo equa osteo ragionamentos appli quslungu fusions rcosva prints: og fusion rconiva primi ¢ defile »putie dal Scene all le funzioni bate che sono defini cole eq 1) OMG, A 2) Ope, mollnte ipeutecpenaion! di compossone, define con Tequa- 1) sso aD eAE Cee Ben BAD A rieusione peta, defini con le equzioni 1) Fes Yas PHC oF) 2 flee se SEVPHG oN IE Indutwamente, posi dione aelabiit, Stpponae ore chess na fiatooe te, La $leyrnsPad HBC Sg PI=OL Lah ie “tea 6 eguarion unable he To (Osservamo, nit, be I funzionef pd ese defini con i sequente sistema eh equzioni (ai van agiote fe eon peg, Soma epredtto) Fe, 2) hey 1m DER Sn De 3) Magen Xe SURE Se SCE HE Me SEO 8) iBieFe: DEO 5) ie 18m De yo Hy SEM, ur en SED robotoG gle SED Hie Bae Ds 1) ancigtst0, bene, i pu veriare che una sequena fas aplczin’ eset soo, che former Pequazione 10 Fn), site 5 € slose m & unin inter tae che Hb, m0 ot se a peso er ae ene per og Sm Hk. ook DL © per ogni im lb bie D0, ot ine sem 2 pl lesa intro tale che 8b ski Come si veda fansone viene ancora definita mediante un meccanismo ries: questo & a po pa gene, in quanto i Jove hin coetsponceaza dun cert are dl aoe ee ein ei et ae hy eink ap le ‘io tutta non impeises, come abbino det, dotnet und ‘sequen init pass ello poche proved si area 6-tt quid une deterinstacondiione sug lt argent silt yer feats ‘Sed esemplofesiamoTipoes che samo dette Ie equzion 60-2 e330 ti,3-0 WGoi UL D=T AL 30H 30 i, Hii G30 A 31 vediame oh acolo di FC)eayleCt 01 siege coi suet ps sip=H4i, 0,101.09 reps) i reas} rego) HG 6, em 1) repo )) Gi, PAG, 3.70.3) a) mT Deen 2, 0) rego b) regal) regal) eh) repol tn defintva,dunque, pur sen aver dato na dnosteacone fr nae esau, sean dl aere sficenemente lta IS iene route “Tore 1 Le fancion! nove pore son clo con i xlealo equation ‘Sel sofermismo + gundae i ello equations da ua punto 4 vata somputaionle pomiamo fre lean costtazin. Ls pina che a iflerenza dei Formals che var in segutoe dif ents de procedranté di clclo ina da gram «bocch, SES a ie ncn tare re in questo cisole ple det clot sono del po dda, analog cio a repole diferenza uns toie ogs i implica uid ce, a ogi pao, a succes equazione dp. governs on univocal star: og past, ad ee i, psa eee peneree tite nite eqtaiol ote xt {vendo un eurales una quungie dele vr dle equsion ‘ote “Un ad uid hd cone a in afi ‘tional var econ “ chico px, cule anche dl exempl che possible nd dure un onda mellpplicion dl ropa in mode tale he Vegan ‘one termine, ove os esi, van saramente ener i on tempo fino Ti ston soxataion che cn ste dl eqaron funon abba ios un lip deste pi peer dela neurone primi, in el clot valve wa fucion pub exer dteminato Inte valor del foo corspondent a alr crescent de Trrgomento (i equeione 3 p18) Mente nel cia des ri stone pita derescre dl grent garantie I eine de Akt clo, el so una scustne pi erate cid Non accade pi: ina, ance I numero part eaelo(oumero dt ppiazion! de due reg, cou rumero eno’ gow), ce ol evo {teense primis ®t quahe mo cole al rte det Styoment, eso geneale non €nsoluament aluabl «pre Dich a termineione del cso & detrital vericar la endzone gt, £0 pero opportu rare dt ‘rina di cones questo parapao sulle defini’ reonive vo iano scemne an formalin ce @ to inodoto pi recr tenets da McCarthy (1963) cheb, come abbiamo det, ait fom lc Hsia d rosanmarone. Tale foralisno & sempre toto slPuo di struttue deintone noe, composion ereusioe, tad esis ginger tera str, deta espreone condi fil, ce, lead agingee chines a inguag este un volo oewial el recente 3 ecto dee futon. Defssione 19. Une fansione f A- & define per espesione conta partie do un proioto p=" (V, Fe da du fa on yeaa: MPN se era vers ar-at 2 tte prin 26 Phe Ra) >V, alors te 4) 5 Plt By)MF.allor 3C0yen)- itl eso 5 serve f “LAMBDA, ¥9)UF Pe a) STEN £40, 84) ELSE Bas 1s sits! pneae del hngugao & sstansiaente assent -: funzione>! “LAMBDA wats) (eespenione>) otspressone>ii= IF- THEN cespresiooe>ELSE Coesprensone> araie>| rls) + 1] espresione> : - aught: atl: Sruitbie>—2 le :"=ogi nome di fanson,costiaito ds una sequenea aerate alibi, ‘=:=011 121 1a Getnizone di una fncione fn questo forms & dts da un stem d Foal i Fnzont SCS LAMEDAL MoSt fas) Fs =LAMBDAG.. Ifo fn) tal ce fun delle Fuzion fi. fy € ne espeson elative alle fanson fy, fy non osorano tI now fusion te 3 iene [Ad esempio, lt dfnsone de prodoto& prodetto:=LAMBDA(s, y}IF y=0 THEN 0 ELSE sora (prodottolz. 1.) Somma :=LAMBDAC »)(UF y=0 THEN x ELSE sama -'~1) +1, Per indicate come vengono clelate le Fanon efit ne forms sme di MeCarhy zee necesriointode un vero opto Snterpete, analog = qual wnt per expire a calcolatore Prog peor » ‘i ALGOL o LSP; nic imitamo a once che acto dunt furcon, in gust formals swine scondoi-mstodo dota, “shana perl (0 fesmoitnmermat" In alte poe, Uiespresane dl to. Slt, te) viene valuta dteminand pris i yl ag areoment po {piano a ol unio sts. chit ce eisptto «questo metodo di autason apart su daespressone eoniionale¢ propo to che se Fespesione a tare te Wp neta) THEN es .n4%9) ELSE gts #5) Uespestion gt, %) Wen vats 4 esol sive di RA i) EVID, eb ty) ine vata eso 50 Yale dG, 1) fo In gust tos! empedice ce sempre in wee info Tichiame ca con [E]valore dela expression Ee vediamo, 28 ‘sempi,attavso quai pa x alge le vlutaone deseo progetto (1, 2, Lprodatto(, 2) (IF 2=0 THEN 0 ELSE srnma (protto( 1) 1 rma predate (1), 1))= soma frodato (i, 1 I= [eos (1, = IF 1-0 THEN 0 ELSE soma (oradtt(l, 0), 1)I= sons (prodtto( 0), 1 fsomna (prodotti, 0), 1))= [peceto( 0))= IF 0"0 THEN 0 ELSE soma (prodtt fomna (0, 1))= IF 10 THEN 0 ELSE somma (0, 0)+1]= uma co amt O11 Smet get ak eae utd ” tat rine Isom (0, 0+1= {sors (0 0) IF 00 THEN 0 ELSE soruma (0, 0}+1= 0 tance 1 quests punta posiame enuncae “eorems 1.2_Lejunslon! eonive pars son defini et forma tio a MeCorhe Ln Se Dimosasious Le Tien bse sono chaaente defini a formalisno.Supponiso or che fsa una slung fnzion Hc sv pare suponimo che fe ie infusion cor five pari dle ua 0g to dito tera Hi defsaon ‘Abbe alors i segent ca 2) F€dafintspar compton 8a Em =LAMBDAGe eM Heo aE DD 1.6 deta per cusone primiiva da ge F=LAMBDA Ge 9K 70 THEN BC - 9) ELSE MCG Ph FC en =D ©) Feit per minimaizacione dog FELAMBDAG MA sD PU=EAMBDACE, ye DUE Ey tne TTHEN P BLSE fy, Sy 1) ena lo dott i formals di McCarthy presets sun ana Innanrtto permate di arvciare ls tees della vc lle no- “on di programa, clelo ee note a eh ha faith con i {tel dl progrmimasion; in condo luego spud datas 3 emo Reid 5 sto dela esi sito qulunque tp distur 8 da (ston, singe erate st, aber) parc eng effets una ‘opporina sl del predicate del uszion bse infin,» iff ‘era dela pests defiione data delle funaon case pari (Gefnizione di ipo albico,fonata sls eiuata dln dle funzioni bas rigeto a deteminati operator e+ fees dl fr also dele eyovin’fanionl (teu conceto di clela & baat sa ego tipo deductivo) &frmalsmo di MeCary com empl egoled vlutarone dee equszon che sono un efeivg rmecemisno alas basto sul hismata neo dle Funzon “Tutt, coreg abbamo dttoprecedenerens i tstanie ne del propria di completa computanrale dle fasion rh ‘fedmantoesewitmente al modo eo el fungi cose at Zl vengono edooate meditate macchine» ree mcchine & “Tring: per queda tapione on sluppiame ote le consdeazon au) fal seomivie pasiamo dtm a stodure fe macehne re 1.2 Le machine egtit 1.21 Program per micchine a eit Se analizrano gi stument he oi occortono per cose un mo- allo formal dsstema di eleoig c rendamo cats che ei 3 db ono eseneimsnte se! J stevtun dtl quale intende ‘opera, un lngiaglo con I quale desiree le opetazion ches {endo comple sme di segol che faci soropondere alla Secrisione fort, dele traformason su dat In aleun) cask come nea logia de combistorio ae calle tute fe espe del Engugao sono al tempo steno it dsr tion i fasion e une dstizione (ue tp ine introdorta soo a esempio, nel calolo pub far compondere i numero intra fe forma xi e009) I Nal steso aol squztonle Yespessione 5,690) Indicualtempo tel fasion costnte Lf einer