177
правок
Изменения
м
}}
=== Свойства ===
{{Утверждение
|id=th2
|statement=
Отношение сводимости является отношением эквивалентности
Нет описания правки
}}
{{Утверждение
|id=th2
|statement=
Отношение сводимости является отношением эквивалентности
}}
== Применение ==
{{Лемма
{{Определение
|definition=Язык <tex>L</tex> '''эквивалентен по Тьюрингу''' (англ. ''Turing equivalent'') языку <tex>M</tex>, если <tex>L \leqslant_T M</tex> и <tex>M \leqslant_T L</tex>, обозначается как <tex>L \equiv_T M</tex>.
}}
