And those are two things that you'd like to do with every looping construct you write: you'd like to be able to assure yourself that they will always terminate, and then the second thing you'd like to do, is to assure yourself that it does give you back a reasonable answer.

就是现在我有了能去检查程序,是不是做了正确的操作的能力：,这就是你们在写每个循环程序的时候,都要注意的两个事情：,第一件事情是要确保程序可以终结，第二件你要做的事情,就是要确保程序返回了正确的答案。

麻省理工公开课 - 计算机科学及编程导论课程节选