一个确定有穷自动机有且只有一个终态。
出自:计算机科学