海海不想起床

chapter 14 时序逻辑 14.3 改进交通灯控制器，修改表所示的交通灯控制器FSM，使其在某一个方向上变为绿灯之前，使得两个方向都变为红灯，持续一个周期。给出新得FS...