3.2.5 扩展的有限状态机(EFSM)