出处：信息科学卷 • 计算机科学技术 • 软件与系统
| 词条 | 等价性 |
| 释义 | 等价性 等价性 两个对象某个特定侧面的相同性。就程序而言，这个侧面即是语义。语义相同主要指功能相同。两个程序功能等价指它们对同样的输入给出同样的输出。对程序等价性的研究即根据语义等价性定义一个程序代数，利用程序代数可进行程序自动转换、程序正确性证明等。 出处：信息科学卷 • 计算机科学技术 • 软件与系统 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。