(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: Thu Mar 30 14:53:52 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985