Основними властивостями алгоритму є: дискретність, визначеність, масовість і результативність.
Дискретністьвиражається в тому, що алгоритм описує дії над дискретною інформацією (наприклад, числовою або символьною), причому самі ці дії також дискретні.
Властивість визначеності означає, що в алгоритмі вказано все, що має бути зроблене, причому жодне з дій не повинне трактуватися двояко.
Масовість алгоритму має на увазі його застосовність до безлічі значень вихідних даних, а не лише до якихось унікальних значень.
Нарешті, результативність алгоритму полягає в можливості здобуття результату за кінцеве число кроків.
Розглянуті властивості алгоритмів зумовлюють можливість їх реалізації на ЕОМ, при цьому процес, що породжується алгоритмом, називають обчислювальним процесом.
У основі архітектури сучасних ЕОМ лежить представлення алгоритму рішення задачі у вигляді програми послідовних обчислень. Згідно стандарту ISO 2382/1-84, програма для ЕОМ — це «впорядкована послідовність команд, що підлягає обробці».