Turing functional
= Turing functional
{c}
{title2=$\Phi_e^B(x)$}
A Turing functional is a partial computation performed by an <oracle machine>, viewed as a function of both the oracle $B$ and input $x$. Oracle programs admit an effective enumeration. Every convergent computation inspects only a finite part of its oracle, recorded by its <oracle use>.