短語(yǔ)詞組短語(yǔ)parallel graph rewriting abstract machine 并行圖重寫(xiě)抽象機(jī) 返回 abstract rewriting machine