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