monografia_TERNAS-DE-HOARE.docx

8/17/2019 monografia_TERNAS-DE-HOARE.docx

1/12

T e r n a s d e H o a r e

INTEGRANTES:PAULO CÉSAR VALDEZAGUILAR ERICK DANIELQUISPE HUARI ROBERTOKENJI UEDA RODRIGUEZ

UNIVERSIDAD NACIONAL A!OR DE SAN ARCOS" #ACULTAD DE INGENIERIA


2/12

DEDICATORIA


3/12

INDICE


4/12

INTRODUCCIÓN

La $er%&'a'%(n )or*a+ de ,n a+-or%.*o 'ons%s.e en ,n 'on/,n.o de .0'n%'asde 'o*1ro2a'%(n 3,e 1er*%.en de*os.rar 3,e ,n 1ro-ra*a 1,ede

),n'%onar 'orre'.a*en.e o no4

La $er%&'a'%(n 'ons%s.e en .odo ,n 1ro'eso de %n)eren'%a en e+ ',a+ 'adare1resen.a'%(n )or*a+ 1osee ,na re-+a de 'orres1onden'%a 5 es.a

re1resen.a'%(n )or*a+ se da a .ra$0s de +a .erna de Hoare4


5/12

LOGICA DE HOARE

Es ,na e6.ens%(n de +a +(-%'a de 1red%'ados de 1r%*er orden 1ara ra7onarso2re +a 'orre''%(n de 1ro-ra*as %*1era.%$os 'ons.r,%dos so2re ,nas%-na.,ra 8S9 ;4 Es.a e6.ens%(n se o2.%ene %n.rod,'%endo ,n +en-,a/e de'o*andos 'on e+ 3,e se 'ons.r,5en +os 1ro-ra*as 5 ,na re+a'%(n es1e'%a+1ara e61resar e+ 'o*1or.a*%en.o de ,n 1ro-ra*a9 as% 'o*o ,n 'on/,n.o dere-+as de ' P 5 Q son ano.a'%ones9 )(r*,+as de +a L(-%'a de Pr%*er Orden 8L(-%'a dePred%'ados;4

P Pre'ond%'%(n 8se re&ere a+ es.ado 1re$%o a S; Q Pos.'ond%'%(n 8se re&ere a+ es.ado 1os.er%or a S;

> No.a'%(n: PSQ


6/12

REPRESENTACIÓN FORMAL: TERNAS DE HOARE

S% C es ,na 1ar.e de+ '(d%-o9 en.on'es ',a+3,%er aser'%(n P se deno*%na1re'ond%'%(n de C s% P s(+o %*1+%'a a+ es.ado %n%'%a+4 C,a+3,%er aser'%(n

Q se deno*%na 1os.'ond%'%(n s% Q s(+o %*1+%'a e+ es.ado &na+4

Es.a de&n%'%(n se re1resen.a 'o*o: PCQ 5 se deno*%na .erna deHoare4

EJE4 F

5 6: F5 6 F5

EJE4

A $e'es no e6%s.e 1re'ond%'%(n:

a:2 a2Es.o s%-n%&'a 3,e s%e*1re se o2.%enen es.ados 3,e sa.%s)a'en +a

1os.'ond%'%(n %nde1end%en.e*en.e de +a 1re'ond%'%(n4

Re1resen.a +a aser'%(n $a'a 3,e se 1,ede en.ender 'o*o ?$erdadero1ara .odos +os es.ados@4

PRECONDICIONES Y POSTCONDICIONES

Las 1re'ond%'%ones %nd%'an +as 'ond%'%ones 3,e de2en sa.%s)a'er +os da.osde en.rada 1ara 3,e e+ 1ro-ra*a 1,eda ',*1+%r s, .area4

Las 1os.'ond%'%ones %nd%'an +as 'ond%'%ones de sa+%da 3,e son a'e1.a2+es'o*o so+,'%ones 'orre'.as de+ 1ro2+e*a en ',es.%(n4

E/e*1+o:

Pro-ra*a 3,e 'a+',+a +a ra7 ',adrada

> Pre'ond%'%(n: Q,e e+ ar-,*en.o de +a ),n'%(n no sea ne-a.%$o

> Pos.'ond%'%(n: La ra7 ',adrada de ese ar-,*en.o4

NOMENCLATURA:

En +a *a5ora de +os '(d%-os e+ es.ado &na+ de1ende de+ es.ado %n%'%a+ es.os,'ede .a*2%0n en e+ 'aso de +a 1re'ond%'%(n 5 1os.'ond%'%(n es.as no son%nde1end%en.es en.re s4

E6%s.en dos 1os%2+es no*en'+a.,ras 3,e 1er*%.en re=e/ar d%'Made1enden'%a en.re 1re'ond%'%(n 5 1os.'ond%'%(n:

• REPRESENTACIN DEL SUBNDICE: *ed%an.e s,2nd%'es se %nd%'a s%+as $ar%a2+es re1resen.an $a+ores %n%'%a+es o )%na+es4 a 2 2a donde re1resen.a e+ es.ado )%na+ 5 e+ es.ado %n%'%a+4

• REPRESENTACIN DE LAS VARIABLES OCULTAS: Las $ar%a2+es o',+.asson $ar%a2+es 3,e a1are'en o no en e+ '(d%-o 5 3,e se %n.rod,'en


7/12

1ara a+*a'enar +os $a+ores %n%'%a+es de '%er.as 1os%'%ones de*e*or%a4 S, de&n%'%(n de2e a1are'er en +a 1re'ond%'%(n4 aA92BM:a a:2 2:M aB9 2A

CONCEPTO DE CORRECCIÓN

En es.e 'on'e1.o se de2e de d%s.%n-,%r dos '+ases de 'orre''%(n:

S% PCQ es ,n '(d%-o 'on +a 1re'ond%'%(n P 5 +a 1os.'ond%'%(n Q9en.on'es PCQ es 'orre'.o s% 'ada es.ado %n%'%a+ 1os%2+e 3,esa.%s)a-a P da 'o*o res,+.ado ,n es.ado &na+ 3,e sa.%s)a'e Q4

CORRECCIÓN PARCIAL:

En ,n 1ro-ra*a rea+9 a1are'en de'+ara'%ones de .%1o 5de'+ara'%ones de $ar%a2+es as 'o*o %*1+e*en.a'%ones de),n'%ones 81,eden ser %*1+e*en.a'%ones %n'or1oradas a+ s%s.e*ao Me'Mas 1or e+ ,s,ar%o; 3,e de.er*%nan +a s%-na.,ra de+1ro-ra*a9 ade*


8/12

Se da ',ando ,n '(d%-o ade*


9/12

CALCULO DE HOARE

Es.e '


10/12

)or.a+e'%*%en.o de +a aser'%(n d%s*%n,5e e+ n*ero de es.ados 3,e +a1,eden sa.%s)a'er4

A6%o*a 1ara +a as%-na'%(n:

] P_._ : .P

C,ando +a s,s.%.,'%(n P_. sea ad*%s%2+e 5 e+ '


11/12

Es.a re-+a nos d%'e 3,e s% P es ,na )(r*,+a 3,e se *an.%ene 'ada $e73,e se e/e',.a e+ ',er1o de+ '%'+o 'on +as 'ond%'%ones ad%'%ona+es dadas1or B9 en.on'es P se *an.endr< %n$ar%an.e 1ara ',a+3,%er n*ero dere1e.%'%ones de+ '%'+o 5 se ',*1+%r< a+ &na+ /,n.o 'on +a 'ond%'%(n de.er*%na'%(n de+ '%'+o4

A es.as )(r*,+as P se +es ++a*a %n$ar%an.es de+ '%'+o4 La a1+%'a'%(n de +are-+a e6%-e 3,e se de.er*%ne ,n %n$ar%an.e P 'on$en%en.e 1ara +a'orre''%(n 3,e se 3,%era ded,'%r4

> Re-+a 1ara +a 'o*1os%'%(n:

] PR ] R`Q] P `Q

CONCLUSIONES

• Los *0.odos )or*a+es 1er*%.en 3,e ,n %n-en%ero de so).arees1e'%&3,e9 desarro++e 5 $er%&3,e ,n s%s.e*a 2asado en 'o*1,.adoraa1+%'ando ,na no.a'%(n r%-orosa 5 *a.e*


12/12

BIBLIOGRAFIA

Documents

monografia_TERNAS-DE-HOARE.docx