Assertion: algorithm | /r/CapableOf | terminate after finite number of steps
Facets:
value: always
type: TEMPORAL
Source sentences:
text: An algorithm must always terminate after a finite number of steps.
text: Though some technical definitions require that an algorithm always terminate in a finite number of steps, this distinction is not generally observed in practice.
text: Finiteness: - an algorithm terminates after a finite numbers of steps.
text: An algorithm must always terminate after a finite number of steps.