Assertion: algorithm | /r/HasProperty | finite
Facets:
value: in the logician's voice
type: OTHER
Source sentences:
text: Finite-ness: The algorithm must be finite, i.e. it should not end up in an infinite loops or similar.
text: In the logician's voice: "an algorithm is a finite procedure, written in a fixed symbolic vocabulary, governed by precise instructions, moving in discrete steps, 1, 2, 3, . .
text: An algorithm is a finite sequence of precise
text: The algorithm must be finite, i.e. it should not end up in an infinite loops or similar.