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

Question

What is it called if two versions of a program performs the same job, but does it using different code?

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

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

Answer 1

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