有限状态机设计与LPM应用实验与设计