一个有限状态自动机中，有且仅有一个唯一的终态。