Em teoria da computabilidade, o Salto de Turing ou Operador de Salto de Turing, nomeado por Alan Turing, é um operador que designa para cada problema de decisão X um sucessivo problema de decisão mais difícil X ′ que tem a propriedade X ′ é não-decidível por uma Máquina Oráculo com um oráculo para X. O operador é chamado de operador de salto porque ele aumenta o Grau de Turing do problema X. Ou seja, o problema X ′ é redutível por uma máquina de Turing para X. O Teorema de Post estabelece um relacionamento entre o operador de Salto de Turing e a hierarquia aritmética de conjuntos pertencentes ao conjunto dos números naturais. Wikipedia