Изменения

Перейти к: навигация, поиск

M-сводимость

30 байт добавлено, 11:32, 12 декабря 2016
м
Т-степени
{{Определение
|definition=
'''<tex>T</tex>-степенью языка <tex>L</tex>''' (англ. ''Turing degree'') называется его класс эквивалентности по отношению <tex>\equiv_T</tex>, то есть <tex>\mathrm{deg}_T(L) = \{ M \mid L \equiv_T M \}</tex>.
}}
177
правок

Навигация