(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
Updated: Sat Feb 25 19:20:35 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985