9.1.1 何为有限状态机