不确定有穷自动机的确定化(2)

1、 实验目的

不确定有穷自动机的确定化

2、 实验原理

用子集构造算法构造子集加入子集族中直到收敛（所有构造的子集都已存在于子集族）为止。如原来不确定有穷自动机的五元组形式为：M=（K，&，F，S，Z），其中K为状态集，&为字母表，F为转换函数，S为初始态，Z为终态集。用子集族S代替K，新的转换函数D代替F，形成新的五元组M=（S，&，D，S，Z）即将原不确定有穷自动机转换为确定有穷自动机。

3、 实验内容

（1） 闭包计算：closure(I)

（2） 转换函数：move(I,a)