effective computable

theory 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)