Algorithms must terminate after a finite number of steps July 8, 2019 16 32 64 128 Algorithms must terminate after a finite number of steps * feasibility independent finiteness