不确定有限态自动机的确定化 第3页