判断两个RE等价的方法