一个确定有穷自动机有且只有一个终态。