Assertion: algorithm | /r/CapableOf | stop in finite number of steps
Facets:
Source sentences:
text: The basic principle is that each step of the algorithm reduces f inexorably; hence, if f can be reduced only a finite number of times, the algorithm must stop in a finite number of steps.