autoreducible
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Adjective
[edit]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.