如果一个程序的两个版本执行相同的工作，但它使用不同的代码，它叫什么？

Question

如果一个程序的两个版本执行相同的工作，但使用不同的代码，它叫什么？

说这两个版本在语义上是等价的是否正确，尽管这些版本可能包含不同的代码？

说，我有一些目标要完成，两个程序版本都可以完成这项工作。有没有表达这种关系的术语？

Answer 1

我们称之为extensional equivalence. 两个程序在扩展上是等价的，如果它们做同样的事情，但可能以不同的方式实现。但是请注意，每个程序总是外延等价于自身，因为外延等价是一种等价关系。