Algoritmus: Rozdiel medzi revíziami

:Každý algoritmus musí skončiť po vykonaní ''konečného'' počtu krokov. Tento počet krokov môže byť ľubovoľne veľký (podľa rozsahu a hodnôt vstupných údajov), ale pre každý jednotlivý vstup musí byť konečný. Postupy, ktoré túto podmienku nespĺňajú, sa môžu nazývať ''výpočtové metódy''. Špeciálnym príkladom nekonečnej výpočtovej metódy je ''reaktívny proces'', ktorý priebežne reaguje s okolitým prostredím.

 

:Každý krok algoritmu musí byť ''jednoznačne'' a ''presne'' definovaný; v každej situácii musí byť úplne zrejmé, čo a ako sa má vykonať, ako má vykonávanie algoritmu pokračovať. Pretože bežný jazyk zvyčajne neposkytuje úplnú presnosť a jednoznačnosť vyjadrovania, boli pre zápis algoritmov navrhnuté [[programovací jazyk|programovacie jazyky]], v ktorých má každý príkaz jasne definovaný význam. Vyjadrenie algoritmu v programovacom jazyku sa nazýva [[program]].