短語詞組短語formal -equivalence translation 形式對等翻譯formal equivalence checking 等效性形式檢驗formal non -equivalence 形式不對等Formal Correspondence and Translation Equivalence 形式對應與翻譯等值 返回 formal equivalence