autoreducible adjective1 •Of a set, that can be reduced to itself by a Turing machine that does not ask for its own input.
