Виділяють такі властивості алгоритму: масовість, дискретність, результативність, визначеність, зрозумілість, формальність, завершальність.
Алгоритм – Це послідовність команд, призначена виконавцю, в результаті виконання якої він має вирішити поставлене завдання. Алгоритм повинен описуватися формальною мовою, що виключає неоднозначність тлумачення. Виконавець – це людина, комп'ютер, автом.
2) Однозначність – будь-яка дія в алгоритмі має бути суворо та чітко обумовлено. Команди мають бути зрозумілими та доступними тому виконавцю, який здійснює їх реалізацію.