12.1 有限状态机的概念