语义等价规则的英文翻译

英文翻译：【计】 semantically-equivalent rules