知道（Rogers 1967, Soare 1987），就可以解问题A，也可以解释为若一个演算法可以用来处理问题B，就可以处理问题A。较正式的说法，可被图灵归约成问题B的问题是指若存在问题B的预言机，就可以求解的问题集合。图灵归约可以用在决定性问题及功能性问题。