Изменения

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

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

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

Навигация