알고리즘의 절차가 만족해야 할 네가지 특성

# 알고리즘의 절차가 만족해야 할 네가지 특성
1. 엄밀성(preciseness)
> 기술된 내용은 한 가지 이상의 의미를 포함하지 않도록 해야한다.
2. 실효성(effectiveness)
> 기술된 내용은 반드시 주어진 상황에 영향을 주어서 실제로 상황을 변화시키는 효과가 있어야한다.
3. 입출력(input/output)
> 반드시 입력이 주어지고 이러한 입력에 절차를 행한 실제 효과를 반영하는 출력이 있어야 한다.
4. 종료성(termination)
> 기술된 절차는 반드시 종료상태에 도달해야한다.