2.8. Algorithms

For now, an algorithm is a clearly explained procedure to solve a computational problem. It must not appeal to intuition.

Normally, we insist that an algorithm always finishes its job, no matter what the input. In some cases, as mentioned under partial functions, we will need to relax that requirement somewhat.