根据上述代码，实现有限自动机的确定化

确定化有限自动机的过程如下：

1. 确定开始状态：开始状态是所有未确定的状态的集合，即 {s0}。

2. 对于每个输入符号，确定下一个状态：对于每个未确定的状态集合，根据输入符号可以得到一个新的状态集合。例如，当输入符号为a时，状态集合{S0, S1}的下一个状态是{S0}，因为从{S0, S1}出发，输入符号a只能到达S0状态。

3. 重复步骤2，直到所有状态集合都已确定。

4. 构建新的有限自动机：将确定的状态集合作为新的状态，将每个状态集合的转移关系转换为新状态之间的转移关系，即可得到确定化后的有限自动机。

在代码实现中，可以使用一个字典来表示状态集合之间的转移关系。首先将开始状态加入一个未确定的状态集合中，然后以此为起点，根据输入符号递归确定下一个状态集合，直到所有状态集合都被确定。最后，根据确定的状态集合和转移关系构建新的有限自动机。