子集构造法

把非确定型的"当前可能所在的状态集合"当作确定型的一个状态。状态数可能指数增长。