|
关注：1
2013-05-23 12:21
求翻译：Equational axioms (written s ≈ t) that define equational theories will be called “identities," whereas unification problems consist of “equations" (written s=? t for syntactic unification and s=? E t for unification modulo E). Thus, identities must hold, whereas equations must be solved.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Equational axioms (written s ≈ t) that define equational theories will be called “identities," whereas unification problems consist of “equations" (written s=? t for syntactic unification and s=? E t for unification modulo E). Thus, identities must hold, whereas equations must be solved.
问题补充： |
|
2013-05-23 12:21:38
等式公理（书面小号≈ţ）定义等式理论被称为“身份”，而统一问题的“方程式”（书面句法统一和S = T =？等统一模é）组成。因此，身份，而必须持有方程必须解决。
|
|
2013-05-23 12:23:18
equational定理(书面s≈T),确定equational理论将被称为“特性”,而统一问题由“方程式”(书面S=? T为人造统一和S=? e t的统一模式”e)。 因此,必须持有身份,而方程式必须解决。
|
|
2013-05-23 12:24:58
Equational公理(书面s ≈ t)定义equational理论将称“身分”，而统一问题包括“等式” (书面s= ？ t为语法统一和s= ？ E t为统一模数E)。 因此，身分必须举行，而必须解决等式。
|
|
2013-05-23 12:26:38
(书面 s ≈ t) 的流线方程定义流线方程理论公理将调用"身份，"而"方程"包含统一问题 （写入 s = 吗？ 句法统一和 s t =？E t E 模统一)。因此，身份必须持有，而方程，必须加以解决。
|
|
2013-05-23 12:28:18
null
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
