递归理论特征

recursion theoretic characteristic