effective computability
effective computability Let N = {0,1,…} Nk = N × … × N (with k factors)
A partial function f : Nk → N
is effectively computable if there is an effective procedure or algorithm that correctly calculates f. An effective procedure is one that meets the following specifications. Firstly, the procedure must consist of a finite set of “simple” instructions and there must be no ambiguity concerning the order in which the instructions are to be carried out. Secondly, if the procedure is given a k-tuple x in the domain of f, then after a finite number of steps, the calculation must terminate and output f(x); if the procedure is given a k-tuple not in the domain of f it must not output a value. See also Church–Turing thesis.
A partial function f : Nk → N
is effectively computable if there is an effective procedure or algorithm that correctly calculates f. An effective procedure is one that meets the following specifications. Firstly, the procedure must consist of a finite set of “simple” instructions and there must be no ambiguity concerning the order in which the instructions are to be carried out. Secondly, if the procedure is given a k-tuple x in the domain of f, then after a finite number of steps, the calculation must terminate and output f(x); if the procedure is given a k-tuple not in the domain of f it must not output a value. See also Church–Turing thesis.
More From encyclopedia.com
Procedure , procedure •badger, cadger •Alger, neuralgia •ganja, grandeur, phalanger •charger, enlarger, maharaja, raja •slàinte • turbocharger •dredger, edger, h… SPARC , SPARC Trademark; Acronym for scalable processor architecture. Sun Microsystems' RISC architecture intended for multiple implementations with differin… Computation , Computation
Older methods
General-purpose digital computer
Error analysis
BIBLIOGRAPHY
In recent years there has occurred enormous technological deve… Angioplasty , Definition
Angioplasty is a term describing a procedure used to widen vessels narrowed by stenoses or occlusions.
There are various types of these pr… Logo , The name of the programming language Logo comes from the Greek for "word." The first version of Logo, a dialect of LISP, was developed in 1966 by sev… Pleural Biopsy , Pleural biopsy
Definition
The pleura is the membrane that lines the lungs and chest cavity. A pleural biopsy is the removal of pleural tissue for exa…
You Might Also Like
NEARBY TERMS
effective computability