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.

Last updated: 1996-05-03


Loading