Formalizing the Concept of an Algorithm: Exploring Proto-Algorithms and Algorithmic Equivalence

Algorithms can be formalized as equivalence classes of proto-algorithms under appropriate equivalence relations, such as algorithmic equivalence and computational equivalence.