可区分状态

可区分状态（distinguishable states），计算机科学技术名词，对确定的有限自动机中的两个状态和，如果存在一个输入串x，从读入x后进入终止状态，而从读入x则不进入终止状态，那么就说和是可区分状态。对有限自动机进行化简时，可区分状态是不能合并的。