定义状态机当前状态为state，次态为next_state;输入a，输出b，则下列为Mealy状态机的写法是：