Title: An axiomatic approach to the equivalence problems of algorithms with applications