So first of all, I've got to be careful about the end test. But the second thing is, OK, if it stops whenever this is less than two, am I convinced that this will always halt?

小心最后一次比较,其次，如果少于两个元素程序停止了,我们能确信这总是应该终止的么？,答案是肯定的，因为我在做什么？

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

You could put everything on this line, I think there may be, I'm not really allowed to do this on this model, the one thing I can't do is, part of the truth is that Bud Light might be down here somewhere but I'm not allowed to do that.

你可以把任何东西放在这条线上,我想那也许是,我实际上并没有权利在这个模型中这么做,我不能做的是,起码百威淡啤酒应该在这上的某个位置,但我没权利这么做

耶鲁公开课 - 博弈论课程节选