枚举化归是数学中的一种概念。枚举化归(enumeration reducibility)亦称。化归一种可化归性概念.对自然数集A;B，若存在re集w二，使得dx仁二任AH(」二)[(x，动任w、八D} cB]](D。为以u为典则下标的有穷集)，则称A可枚举化归到B，记为A蕊迢.直观地说，A可枚举化归到B，是指存在一个能行的过程，以该过程接受B的枚举作为输人，以A的枚举作为输出.若将B的按另一个次序的枚举作为输入时，该过程的输出仍为A，但输出次序可能不同.这里，输出和输入的枚举都可能重复.从形式上看，e化归可以看成是正化归的推广，只是将式中的uEDf}s)变为(u，x) EWz.从另一个角度看，A砚迢非常类似于A相对re于B，不过前者的概念比后者强(即A钱eB-}A re于B)，因为前者在得到A的枚举时，只能用到B的正信息(即外部信息源只在yEB时对提问“yEB?”给出回答，且回答不一定立即给出)，而后者在得到A的枚举时既可用到B的正信息，也能用到负信息(即外部信息源对任何提问yEB皆立即给出回答，而不论y是否属于B>.