FIT 100
© Copyright University of
Washington 1999-2000
Definiteness
vAn algorithm must be
explicit about how to realize the computation
vDefiniteness is
achieved by giving commands that state unambiguously what to do, in
sequence
vThe commands may be
…
oConditional, i.e.
require a decision to be made, and so must be explicit about how to respond to all
different outcomes
oRepeated,
and so must be explicit about when to stop the repetition
The definiteness property assures that the executing agent will always know
what command to perform next