自可化歸集(autoreducible set)一種特殊的自然數集.指帶有自身可計算性質的自然數集.對自然數集A，若存在e，使得對所有二，
A}x}一}A一‘料，則稱A為自可化歸集.從直觀上說，A為自化歸集，是指A中的信息有一定的冗餘.即對任何x,x是否在A中，可由A中的其他信息(即根據A-{x})計算出來.對任何集合A,A於A為自可化歸的，因此任何m度中都包含自可化歸集.實際上，對任何非遞歸r。集B，存在r。集A鎮,}B，使A為非自可化歸集.但因為存在re度，使得該度中所有的集合都是自可化歸的，所以此處的“鎮7.”不能加強為“三T z..只包含自可化歸集的度稱為完備自可化度.但任何)”‘的度都不是完備自可化歸度。此外，任何自可化歸集都是有絲集，反之亦然.
