Изменения

Язык <tex>L</tex> '''сводится по Тьюрингу''' (англ. ''Turing reducible'') к языку <tex>M</tex>, если язык <tex>ML</tex> является разрешимым с использованием <tex>LM</tex> как оракула, обозначается как <tex>L \leqslant_T M</tex>.