<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.
