유효성 : 적어도 1개 이상의 결과가 있어야 한다.

모호성 : 각 명령은 모호하지 않아야 한다.

명확성 : 알고리즘은 실행 가능해야 한다.

유한성 : 한정된 수의 단계 뒤에는 반드시 종료되어야 한다.