有限状态机的分析