Assertion: algorithm | /r/AtLocation | discrete steps
Facets:
Source sentences:
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, . .