In practice, many functions of interest are computable by machines that always halt.
在实践中，很多有价值的函数都是用总是停机的机器可计算的。