图灵机可计算函数

Turing machine computable function