有限状态机设计与化简(第5节)