dfa最小化的时候， 如果在划分过程中，状态s不能读a，而状态t可以读a，这种情况怎么判断？

dfa最小化的时候， 如果在划分过程中，状态s不能读a，而状态t可以读a，这种情况怎么判断？

//伪代码
if(状态 == “s”)
{
//读a
}else if(状态=="t"){
//不能读a
}