子集法 ε nfc确定化