出处：信息科学卷 • 计算机科学技术 • 软件与系统
| 字词 | 等价性 |
| 释义 | 等价性 等价性 两个对象某个特定侧面的相同性。就程序而言，这个侧面即是语义。语义相同主要指功能相同。两个程序功能等价指它们对同样的输入给出同样的输出。对程序等价性的研究即根据语义等价性定义一个程序代数，利用程序代数可进行程序自动转换、程序正确性证明等。 出处：信息科学卷 • 计算机科学技术 • 软件与系统 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。