입력：외부에서 제공되는 자료가 있을 수 있다.

출력：적어도 한 가지 결과가 생긴다.

유한성：알고리즘의 명령대로 수행하면 한정된 단계를 처리한 후에 종료된다.

효과성：모든 명령들은 명백하지 않아도 된다.