等价性_两个对象某个特定侧面的相同性

等价性

两个对象某个特定侧面的相同性

等价性，两个对象某个特定侧面的相同性。就程序而言，这个侧面即是语义。语义相同主要指功能相同。两个程序功能等价指它们对同样的输入给出同样的输出。对程序等价性的研究即根据语义等价性定义一个程序代数，利用程序代数可进行程序自动转换、程序正确性证明等。

参考资料

等价性.大辞海.

最新修订时间：2022-01-06 09:11

条目作者

概述

参考资料