Yes—It’s not possible to decide, given two programs, if they have identical behavior. I think that’s okay here—the original poster asked for a definition of equivalence, not for a definition that was always decidable.
Yes—It’s not possible to decide, given two programs, if they have identical behavior. I think that’s okay here—the original poster asked for a definition of equivalence, not for a definition that was always decidable.