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