vAn algorithm must
eventually terminate with either
;The right
output
;An indication that
no solution is possible
vA non-terminating
algorithm is useless since it is impossible to distinguish between
continued progress and being “stuck”
vFiniteness is
relevant to computer algorithms since they typically repeat instructions