状态机推理