Необхідною умовою, яка задовольняє алгоритм, є детермінованість, або визначеність. Це означає, що виконання команд алгоритму відбувається у єдиний спосіб та призводить до однакового результату для однакових вхідних даних. Вхідні дані алгоритму можуть бути обмежені набором припустимих вхідних даних.