Each and every instruction should be precise and
unambiguous
§ Each instruction should be such that it can be performed in
a finite time
§ One or more instructions should not be repeated infinitely.
This ensures that the algorithm will ultimately terminate
§ After performing the instructions, that is after the algorithm
terminates, the desired results must be obtained