Az
algoritmus
Az
algoritmus egy feladat megoldására szolgáló
egyértelműen előírt módon és
sorrendben végrehajtandó véges
tevékenységsorozat, mely véges idő alatt
befejeződik.
A tevékenység matematikai művelettől kezdve tetszőleges
számítási, gyártási
vagy technológiai művelet lehet.
Az
algoritmusokkal szemben támasztott követelmények
- Lépésekből
áll. Végrehajtása
lépésenként történik (folyamat).
- Minden
lépésnek egyértelműen
végrehajthatónak kell lennie.
- Részletezés,
dekompozíció.
- A
végrehajtás tárgya az
adat.
- A
végrehajtandó instrukciónak
valamilyen célja van.
- Vannak
bemenő adatai,
melyeket felhasznál.
- Legalább
egy kimenő adatot
produkálnia kell.
- Véges
számú lépésben megoldhatónak
kell lennie.
- Legyen
hatékony és
elronthatatlan!
- Legyen
az algoritmus
felhasználóbarát!
Az
algoritmus állapottere
Az előfeltételben
leírjuk
a változók segítségével
azt a feltételt, ami a kezdőállapotokat jellemzi, az utófeltételben
pedig a
végállapotok
jellemzőit.
A feladat specifikációja
(deklarációja) során
megadjuk a feladat szempontjából lényeges
típusérték-halmazokat a hozzájuk
tartozó változókkal együtt, a
változók segítségével leírjuk
az elő- és utófeltételt.