计算通用函数的图灵机。
A．图灵证明：对每个n≥1，存在图灵机Z，对任何n元图灵可计算函数f(x，…，x)，存在常数e，使得在向Z输入(e，x，…，x)时Z的输出(如果有的话)为f(x，…，x)。也就是说，只要在输入时附加一个(固定的)参数，Z就可以计算任何一个n元可计算函数。这样的Z称为n元通用图灵机。
事实上，n元通用图灵机就是计算n元通用函数的图灵机。(参见图灵机、通用函数)。