NFA子集法确定化的基本思路