Learners examine input, output, finiteness, definiteness and effectiveness as qualities of a clear and workable algorithm.