English edit

Etymology edit

auto- +‎ reducible

Adjective edit

autoreducible (not comparable)

  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.

Related terms edit