子集构造法确定化 重命名