图灵机
formula_1是所有图灵可计算函数构成的集合，formula_2是formula_1的一个非空真子集，即：formula_4。将图灵机以某种方式编码，使得每一个formula_5都唯一对应一个图灵机formula_6。