(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 22 04:00:21 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985