5.4.3 Mealy状态机的设计