Definition
A specialization of MathematicalOrComputationalThing and AspatialInformationStore (qq.v.). An instance of Algorithm is a particular finite sequence of operations that constitutes an effective, or strictly mechanical, procedure for completing some task, computing some function, or simply performing a number of unrelated operations.
Instances of ComputerProgram_CWIS use algorithms (see programAlgorithms), and some instances of Instructions (e.g. some instances of its specializations Recipe_CW and DirectionsToGetSomewhere), if sufficiently explicit, involve algorithms.
An algorithm can be viewed as a specific way of computing a particular instance of Function_Denotational, i.e. a way determining the value of the function for any argument in the function's domain (see algorithmComputes).