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.