有穷状态及