Generalized Distance Functions in the Theory of Computation