请输入您要查询的百科知识:

 

词条 代数规约
释义
代数规约
代数规约  基于代数理论的形成规约方法。由基调和公理集两部分组成。主要用于抽象数据类型的描述。用公理刻画程序的行为,抽象程度较高。其实现是指如何从给定的代数规约出发,得到能在计算机上执行的程序。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看

 

百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/3/13 16:28:16