一个有限状态自动机中,有且仅有一个唯一的终态。
出自:计算机科学