茅化荃

摘要： 第二周作业系统有两种外部输入，即“车进入”（car_in）和“车离开”（car_out）。输出为起落杆控制（lever_control）和信号灯（light）。还包括起落杆状态（lever_state）。系统初始状态为：car_in=0,car_out=0，起落杆为下降（lever_state=0） 阅读全文