effective computable
A term describing a {function} for which there is an
{effective algorithm} that correctly calculates the function.
The algorithm must consist of a {finite} sequence of
instructions.
(1996-05-03)