一般有限状态机的设计