使用PLC的梯形图写出一段红绿灯的程序

在PLC（Programmable Logic Controller，可编程控制器）的梯形图中编写红绿灯控制程序，我们可以模拟交通信号灯的工作原理，通常包括三个状态：红灯、黄灯和绿灯。这里是一个基本的示例：

[红灯]
-------------------------
|  ---   |      ---     |
|       |      X        |
|       Y                |
-------------------------

[黄灯]
-------------------------
|  ---   |      X        |
|       |      ---     |
|       Y                |
-------------------------

[绿灯]
--     |
|       Y                |
-------------------------

Y: 输出继电器，用于控制灯的开关
X: 互锁输入，防止同时点亮两个灯

程序流程：
1. 当红灯状态开始，启动Y并保持直到绿灯开始。
2. 绿灯状态开始时，先关闭红灯的Y，然后启动黄灯的X。
3. 黄灯亮一段时间后（延时），如果用户未操作，自动转到红灯，此时关闭黄灯的X，打开红灯的Y。