有限状态机的设计与模拟