有限状态机以及扩展