短語詞組短語term graph rewriting 長期圖重寫ordering for term -rewriting system [計]項重寫系統(tǒng)排序Term Rewriting System 重寫系統(tǒng);翻譯dependence term rewriting system 依賴項重寫系統(tǒng)conditional term rewriting system [計]條件項重寫系統(tǒng)Term Rewriting and Applications 項重寫與應(yīng)用term rewriting systems 項重寫系統(tǒng)regular term rewriting system 正則重寫系統(tǒng) 返回 term rewriting