Properties of algorithms are below.  Should have an input. Should have an output.  Finiteness  Definiteness Effectiveness.