Computable reduction by staged enumeration
= Computable reduction by staged enumeration
A staged-enumeration reduction controls an output language by enumerating more elements at each simulation stage and changing behavior when a source computation halts.