短语词组短语algebraically equivalent transformation 代数等价变换algebraically equivalent path 代数等价路径 返回 algebraically equivalent