6.3 应用举例——十字路口交通信号灯的控制