konečnost:
- konečný počet kroků
- algoritmus se nezacyklí, po určitém počtu kroků skončí
- musí mít začátek a konec.
jednoznačnost, determinovanost:
- v každém kroku je jednoznačně určen způsob pokračování práce algoritmu
- všechny operace musí být přesně (jednoznačně) definovány
- vždy víme, kam budeme pokračovat
- nic nesmí být náhodné
- nesmí záviset na libovůli osoby
- nesmí záviset na vlastnostech zařízení, které ho realizují
hromadnost:
- znamená, že algoritmus lze použít pro řešení obecné úlohy, tj. že nepopisujeme postup jedné úlohy, ale poslouží k řešení libovolné úlohy, která patří do jisté třídy úloh
- alg. musí řešit úlohu pro různé vstupní hodnoty