純正函式(honest f unction)一種特殊的部分遞歸函式.這種函式的值可以“反映”其複雜性.具體地說，設f為一元部分遞歸函式，g為二元遞歸函式，中是一個布魯姆測度，若存在f的一個下標i，使得
b}.e}+r<x))<g<x,.f(二)).則稱f關於中是g純正的函式.如果f是g純正的，則一定存在一個計算f的算法M，使M的複雜性可被f之值(藉助於g)而控制.對任何遞歸函式g，全體g純正函式組成一個re的函式集.
b}.e}+r<x))<g<x,.f(二)).則稱f關於中是g純正的函式.如果f是g純正的，則一定存在一個計算f的算法M，使M的複雜性可被f之值(藉助於g)而控制.對任何遞歸函式g，全體g純正函式組成一個re的函式集.
