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)