发送短信 : Algebraic properties of finite switchboard state machine