如果一個程序的兩個版本執行相同的工作，但是使用不同的代碼執行它，這是什麼稱呼？

Question

如果一個程序的兩個版本執行相同的工作，但是使用不同的代碼執行它，這就叫做什麼？

說兩個版本在語義上是相同的，儘管版本可能由不同的代碼組成？

說，我有一些目標要完成，兩個程序版本都可以執行這項工作。有沒有表達這種關係的術語？

Answer 1

我們把這稱爲extensional equivalence.兩個程序是延伸等價如果他們做同樣的事情，但可能以不同的方式實現。但是請注意，每個程序總是與自身等效，因爲擴展等價是等價關係。