单片机程序的状态机模型