autoreducible

/AO1 T ER0 AH0 D UW1 S AH0 B AH0 L/
adjective
  1. 1

    (mathematics, set theory) Of a set, that can be reduced to itself by a Turing machine that does not ask for its own input.