알고리즘의 명령대로 수행하면 한정된 수의 단계 뒤에는 반드시 종료해야 하는 알고리즘의 구성 요소는?