Instructiunea Reapeat

Trimis la data: 2002-12-15 Materia: Informatica Nivel: Liceu Pagini: 4 Nota: / 10 Downloads: 2070
Autor: Valentin Pavel Dimensiune: 10kb Voturi: Tipul fisierelor: doc Acorda si tu o nota acestui referat: 1 2 3 4 5 6 7 8 9 10
vezi mai multe detalii vezi mai putine detalii
Raporteaza o eroare
Instructiunea Reapeat - Principiul de executare este următorul: Se execută secvenţa de instrucţiuni; Se evaluează expresia logică; Dacă aceasta ia valoarea FALSE se execută din nou secvenţa de instrucţiuni, contrar se trece mai departe.Instructiunea Reapeat

Instructiunea Reapeat
Observaţie: secvenţa se execută cel puţin odată, după care se pune problema dacă să se repete sau nu (prin evaluarea expresiei logice).
Regula instrucţiunii REPEAT

Instructiunea Reapeat
Formula P se numeşte specificaţie invariantă.
Pentru simplitate, aplicarea acestor reguli în demonstraţii se va nota prin:
repeat repeat
{P} {P}
A sau A
{Q} {Q}
until b until b
{Q and b}

Observaţie: din prezentarea neformalizată a semanticii, se ştie că instrucţiumea: repeat A until b este echivalentă cu instrucţiunea compusă:
begin A;
while not b do
A
End

Se poate arăta acum, în termenii semanticii axiomantice, că regula instrucţiunii repeat poate fi dedusă din regula instrucţiunii while, regula consecinţelor şi regula instrucţiunii compuse. Într- adevăr, în ipostazele {P} A {Q} şi (Q and not b) = 0) and (b >= 0)}
{(x * y = x * y) and (x > 0)}
begin
z := 0;
{(z + x * y = x * y) and (x > 0)}
u := x;
repeat
{(z + u * y = x * y) and (x > 0)}
z := z + y;
{(z + (u - 1) * y = x * y) and (u >= 1)}
u := u - 1
{(z + u * y = x * y) and (u >= 0)}
until u = 0
{(z + u * y = x * y) and (u >= 0) and (u = 0)}
end.
{{(z = a * b)}

este o demonstraţie a corectitudinii parţiale a unui algoritm de înmulţire a două numere naturale prin adunare repetată.
Pentru instrucţiunea repeat…until u=0, specificaţia invariantă este (z+u*y=x*y) and (u>0).

Nota explicativa
Referatele si lucrarile oferite de Referate.ro au scop educativ si orientativ pentru cercetare academica.

Iti recomandam ca referatele pe care le downloadezi de pe site sa le utilizezi doar ca sursa de inspiratie sau ca resurse educationale pentru conceperea unui referat nou, propriu si original.

Referat.ro te invata cum sa faci o lucrare de nota 10!
Filmele zilei
Linkuri utile
Programeaza-te online la salonul favorit Descarca gratuit aplicatiile pentru iOS si Android Filmulete haioase Filme, poante si cele mai tari faze Jocuri Cele mai tari jocuri de pe net Referate scoala Resurse, lucrari, referate materiale pentru lucrari de nota 10 Bacalaureat 2019 Vezi subiectele examenului de Bacalaureat din 2019 Evaluare Nationala 2019 Ultimele informatii despre evaluare nationala
Toate imaginile, textele sau alte materiale prezentate pe site sunt proprietatea referat.ro fiind interzisa reproducerea integrala sau partiala a continutului acestui site pe alte siteuri sau in orice alta forma fara acordul scris al referat.ro. Va rugam sa consultati Termenii si conditiile de utilizare a site-ului. Informati-va despre Politica de confidentialitate. Daca aveti intrebari sau sugestii care pot ajuta la dezvoltarea site-ului va rugam sa ne scrieti la adresa webmaster@referat.ro.
Confidentialitatea ta este importanta pentru noi

Referat.ro utilizeaza fisiere de tip cookie pentru a personaliza si imbunatati experienta ta pe Website-ul nostru. Te informam ca ne-am actualizat politica de confidentialitate pentru a integra cele mai recente modificari privind protectia persoanelor fizice in ceea ce priveste prelucrarea datelor cu caracter personal. Inainte de a continua navigarea pe Website-ul nostru te rugam sa aloci timpul necesar pentru a citi si intelege continutul Politicii de Cookie. Prin continuarea navigarii pe Website-ul nostru confirmi acceptarea utilizarii fisierelor de tip cookie conform Politicii de Cookie. Nu uita totusi ca poti modifica in orice moment setarile acestor fisiere cookie urmarind instructiunile din Politica de Cookie.


Politica de Cookie
Am inteles