候)."函数 "F" 被称为图灵完备，如果拥有下列性质：对于一个单一的变量的每个可计算函数 "f" ，都有一串 "w" 使得对于所有的 "x", "F"("w" "x")= "f"("x")；这里 "w" "x" 表示两个二元串 "w" 和 "x"的串接. 这意味着： "F" 可用于模拟一个变量的任何一个可计算函数。非正式地说， "w" 表示可计算函数"f的「脚本」，另外 F" 表示一个"解释"解析脚本作为前缀的其输入和随后执行它其余的输入。F的定义域是所有输入 "p" 的集合。对于图灵完备的 "F