实例:有限状态机的实现