在有穷自动机中，有穷自动机的状态s和t不等价，则称这两个状态是可区别的