4.3 同步状态机的设计方法