8.2 有限状态机的描述方式