Изменения
→Литература
Тогда тьюринговым скачком Т-степени <tex>d</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>.
== Литература Источники информации ==
* [http://en.wikipedia.org/wiki/Many-one_reduction Wikipedia — Many-one reduction]
* [http://en.wikipedia.org/wiki/Turing_reduction Wikipedia — Turing reduction]
* [http://www.personal.psu.edu/t20/notes/topics-s05.pdf Topics in Logic and Foundations]
* ''Верещагин Н., Шень А.'' — '''Вычислимые функции''', 2-е изд. — МЦНМО, 2002, стр. — С. 64. — ISBN 5-900916-36-7* ''P. Odifreddi'' — '''Classical recursion theory'''. — Elsivier, 1992. — ISBN 0-444-87295-7
{{Заголовок со строчной буквы}}
