algebraic semantics

基本解释

Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
The study has shown that the algebraic model of structure of temporal objects has more advantages over temporal relational models in complex structures and temporal semantics modeling.
研究表明，时态对象模型在复杂结构和时态语义建模方面比时态关系模型更具优势。
By direct mapping from assembly semantics to geometrical constraints, the algebraic expression of geometrical constraints is established and the degrees of freedom of parts motion are solved.
通过装配语义与几何约束的映射，形成几何约束的代数表达；