那么既然语法是这样,语义又该如何呢?
既然是这样那么你们是按照希腊的方式。
有些程序在把它们自己当作输入运行时,可能永远不会停下来,既然这样——那么让我们用DOES-HALT编写一端伪代码,用它来测试当一个程序把它自己作为输入参数时会发生什么好了。
Some programs might never halt when run on themselves, though -- so let's use DOES-HALT to write pseudo-code for a program that checks to see what happens when a program is given itself as input.
Now, that being the case, we have to worry then that because of the unpredictability of death that our lives may not have the ideal shape.
既然是这样,那么我们会变得担心起来,由于存在死亡的不可预见性,我们的生命线可能不会是理想的形状。
应用推荐