* Если <tex>f \leqslant_T g</tex>, то <tex>H^f \leqslant_T H^g</tex>
Тогда тьюринговым {{Определение|definition= Тьюринговым скачком <tex>T</tex>-степени <tex>d</tex> называется <tex>T</tex>-степень языка <tex>H^L</tex>, где <tex>L</tex> — произвольный язык в <tex>d</tex>. }} Заметим, что если <tex>L \equiv_T M</tex>, то <tex>H^L \equiv_T H^M</tex>, поэтому определение корректно. Оператор тьюрингова скачка обозначим как <tex>J : \mathcal{D}_T \to \mathcal{D}_T</tex>.
== Источники информации ==
