algorithm as a class of programs with the same behavior is a vague term until one defines same behavior precisely for which many definitions exist one must specify that equivalence relation before making claims about classes of algorithms