下面图使用NFA表示的状态转换图, 使用子集构造法,有如下过程, ε-closure(0) = {0, 1, 2, 3, 4, 6, 7}初始值,令为AA = {0, 1, 2, 3, 4, 6, 7} 标记A move(A, a) = {3, 8}Dtran[A, a] = {1, 2, 3, 4, 6, 7, 8}不重复,令为BB = {1, 2, 3, 4, 6, 7, 8}转换关系为A->a->B move(A, b) = {5}Dtran[A, b] = {1, 2, 4, 5, 6…