有限自动机的确定化算法子集法问题探析

子集法是目前普遍采用的确定化NFA为DFA的方法,但在子集法存在两处疑难:一是NFA M的状态子集I的a弧转换集合Ia的定义与解释;二是确定化过程中先对NFA做改造的必要性以及条件。