短语词组短语formal -equivalence translation 形式对等翻译formal equivalence checking 等效性形式检验formal non -equivalence 形式不对等Formal Correspondence and Translation Equivalence 形式对应与翻译等值 返回 formal equivalence