9.5 对有限状态机进行逆向分析