Assertion: algorithm | /r/CapableOf | terminate finite number
Facets:
value: after a finite number of steps
type: TEMPORAL
value: very
type: DEGREE
value: always
type: TEMPORAL
Source sentences:
text: Finiteness: "An algorithm must always terminate after a finite number of steps ... a very finite number, a reasonable number" Definiteness: "Each step of an algorithm must be precisely defined; the actions to be carried out must be rigorously and unambiguously specified for each case" Input: "...quantities which are given to it initially before the algorithm begins.