term rewriting中文，term rewriting的意思，term rewriting翻译及用法

2025-11-01 20:55 浏览次数 11

term rewriting

项重写

term rewriting 例句

英汉例句

  • In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.

    本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。

  • But the existing risk analysis model based on term rewriting ignores the induction procedure from risk to decision, and makes it easy to propagate the potential vulnerability.

    但是现存项重写的模型忽略了分析和决策之间的推理过程，容易导致潜在威胁的传播。

  • These results can direct the implementing of term rewriting system by graph rewriting system.

    以上结果能够用于指导项重写的图实现。

相关热词