一个带某谕示带的图灵机对每一个输入 x 的计算所用到的谕示带上的最大数，记为 u(x) 。这时称 u(x) 是该谕示图灵计算的使用函数。