可能返回一个二元串作为输出。这个函数"F" 被称为可计算的，如果有一个图灵机有计算出他(在这个意义上：对于任何有限的二元串 "x" 和 "y、F(x)=y" 若且唯若这个图灵机停止且"y" 在他的地带当给出输入 "x的时候)."函数 "F" 被称为图灵完备，如果拥有下列性质：对于一个单一的变量的每个可计算函数 "f" ，都有一串 "w" 使得对于所有的 "x", "F"("w" "x")= "f"("x")；这里 "w" "x" 表示两个二元串 "w" 和 "x"的串接. 这意味着： "F" 可用于模拟