(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 Oct 1 11:02:43 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985