Изменения
→Сведение по Тьюрингу
{{Определение
|definition=
Язык <tex>L</tex> '''сводится по Тьюрингу''' (является англ. ''Turing reducible'') к языку <tex>M</tex>, если язык <tex>M</tex> является разрешимым с использованием <tex>L</tex> как оракула, обозначается как <tex>L \leqslant_T M</tex>.
}}
{{Определение
|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>.
}}
