https://shanlunjiajian.github.io/2023/05/21/dfa-tech/
好像是叫 moore 算法，一个 vector 代表一个等价类，col 是所属等价类，这个是初始的时候 accept 状态放在一个等价类里，reject 状态放在一个等价类里，其余状态放在一个等价类里。对每种出边检查同一等价类的此类出边是否指向了不同等价类，根据指向的等价类的不同进行分裂。
while(1){
int lac=cct;
for(int o=0;o<m;o++){
for(int i=1;i<=lac;i++)if(vec[i].size()>1){
int tmp=cct;
for(auto j:vec[i]){
int go=col[tr[j][o]];
if(!vis[go])
vis[go]=++cct;
vec[vis[go]].pb(j);
}
for(auto j:vec[i])vis[col[tr[j][o]]]=0;
vi().swap(vec[i]);
swap(vec[i],vec[cct]);--cct;
for(auto j:vec[i])col[j]=i;
for(int t=tmp+1;t<=cct;t++)
for(auto j:vec[t])
col[j]=t;
}
}
if(cct==lac)break;
}