“代数规约”的意思、由来-百科全书

词条	代数规约
释义	代数规约信息科学卷代数规约　　基于代数理论的形成规约方法。由基调和公理集两部分组成。主要用于抽象数据类型的描述。用公理刻画程序的行为，抽象程度较高。其实现是指如何从给定的代数规约出发，得到能在计算机上执行的程序。出处：信息科学卷 • 计算机科学技术 • 软件与系统
随便看	修版修理修理、重作、更换修理艇修盖修省修眉修真养性修短修禊修竹修筑修缮修罗修能修色噶举修葺修行修行本起经修补修补因果关系修订修订再购修订本修词

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