original≤preductedoriginal \le_p reductedoriginal≤preducted Language means problem in Turing machine