We can further define a programming language in which we can ensure that even more sophisticated functions always halt.
我们可以进一步的定义能确保更复杂的函数总是停机的一个编程语言。