autoreducible

== English == === Etymology === From auto- +‎ reducible. === Adjective === autoreducible (not comparable) (mathematics, set theory) Of a set, that can be reduced to itself by a Turing machine that does not ask for its own input. ==== Related terms ==== autoreducibility