① M的状态集S由K的一些子集组成（k的子集构造算法见下页）。用[S1 S2... Sj]表示S的元素，其中S1, S2,,... Sj是K的状态。并且约定，状态S1, S2,,... Sj是按某种规则排列的，即对于子集{S1, S2}={ S2, S1,}来说，S的状态就是[S1 S2]； 　　② M和N的输入字母表是相同的，即是∑； 　　③ 转换函数是这样定义的： 　　d([S1 S2,... Sj],a)= [R1R2... Rt] 其中 {R1,R2,... , Rt} = e-closure(move({S1, S2,,... Sj},a)) 　　④ S0=e-closure(K0)为M的开始状态； 　　⑤ St={[Si Sk... Se]，其中[Si Sk... Se]∈S且{Si , Sk,,... Se}∩Kt≠φ}