A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems