计算理论基础章6.pptVIP

第6章 半可计算性 杨 莹 6.1 半可计算谓词与半可计算集合 6.1 半可计算谓词与半可计**算集合 6.1 半可计算谓词与半可计算集合 6.1 半可计算谓词与半可计算集合 定理6-1 整数集H是半可计算的当且仅当存在部分函数f(x1,x2,…,xn)，使得 H={ f(x1,x2,…,xn)| f(x1,x2,…,xn)↓ } 6.2 半可计算的封闭性 定理6-2 若P(x1,x2,…,xn)和Q(x1,x2,…,xn)是半可计算的，则 P(x1,x2,…,xn) ∩Q(x1,x2,…,xn)、 P(x1,x2,…,xn) ∪Q(x1,x2,…,xn) 是半可计算的。 定理6-3 如果S1和S2是半可计算集，则S1∪S2，S1∪S2是半可计算的。 6.2 半可计算的封闭性 定理6-4 谓词P(x1,x2,…,xn)是半可计算的，当且仅当存在一个可计算谓词C(,y)，使得 定理6-5 如果h(y, x1,x2,…,xn)是半可计算谓词，则(y) h(y, x1,x2,…,xn )是半可计算的。 6.2 半可计算的封闭性 6.3 可计算性和半可计算性 6.3 可计算性和半可计算性 6.3 可计算性和半可计算性 6.3 可计算性和半可计算性 6.3 可计算性和半可计算性 6.3 可计算性和半可计算性 6.3 可计算性和半可