En la teoría de la computabilidad , un grado de Turing [ X ] es alto si es computable en 0 ' , y el salto de Turing [ X ' ] es 0 ' ' , que es el mayor grado posible en términos de reducibilidad de Turing para el salto de un conjunto. que es computable en 0 ′ . [1]
De manera similar, un grado es alto n si su enésimo salto es el (n+1) primer salto de 0. Aún más generalmente, un grado d es alto n generalizado si su enésimo salto es el enésimo salto de la unión de d con 0 ′ .