红绿灯数码管的编程主要涉及到对数码管显示的控制和时序的把握。以下是一个基于单片机的红绿灯数码管编程示例，使用C语言编写：
```c
include
define uchar unsigned char
define uint unsigned int
sbit ge = P0^6； // 数码管段码输出控制位
sbit shi = P0^7； // 数码管位码输出控制位
void delay（uint z） {
uint x, y；
for（x = z； x > 0； x--）
for（y = 113； y > 0； y--）；
}
void shu0（） {
d0 = 0； d1 = 0； d2 = 0； delay（1）；
d0 = 1； d1 = 0； d2 = 0； delay（1）；
d0 = 0； d1 = 1； d2 = 0； delay（1）；
d0 = 1； d1 = 1； d2 = 0； delay（1）；
d0 = 0； d1 = 0； d2 = 1； delay（1）；
d0 = 1； d1 = 0； d2 = 1； delay（1）；
d0 = 0； d1 = 0； d2 = 1； delay（1）；
_nop_（）； _nop_（）； _nop_（）； delay（1）；
}
void shu1（） {
d0 = 1； d1 = 0； d2 = 0； delay（1）；
}
void Display（unsigned char FirstBit, unsigned char Num） {
P1 = FirstBit；
P2 = Num；
shu0（）；
shu1（）；
}
void init（） {
TMOD = 0x11； // 设置定时器T0为模式1
TH0 = 0xd8； // 定时器T0的高8位
TL0 = 0xf0； // 定时器T0的低8位
IE = 0x82； // 允许中断，EA=1
TR0 = 1； // 启动定时器T0
}
void main（） {
init（）；
unsigned char num = 25； // 倒计时初始值
while（1） {
Display（0x42, num / 10）； // 显示十位
Display（0x25, num % 10）； // 显示个位
delay（100）； // 延时100ms
num--；
if （num < 0） num = 25； // 倒计时结束，重置为25
}
}
```
代码说明：
头文件和定义
定义了必要的头文件和类型。
定义了数码管的控制位`ge`和`shi`，以及数据端口`P0`和控制端口`P1`。
延时函数
`delay`函数用于产生延时，通过循环实现。
数码管显示函数
`shu0`和`shu1`函数用于控制数码管的段码和位码输出。
`Display`函数用于在数码管上显示指定数字。
初始化函数
`init`函数用于初始化定时器T0和相关寄存器，设置定时器T0为模式1，并启动定时器。
主函数
`main`函数中，初始化后进入无限循环，显示倒计时，每100ms更新一次。
注意事项：
代码中使用的定时器T0的工作频率为12MHz，因此延时函数中的循环次数和定时器值需要根据实际需求进行调整。
数码管的段码和位码可以通过修改`Display`函数中的参数来实现不同的显示内容。
该示例仅适用于简单的倒计时显示，实际应用中可能需要根据具体需求进行扩展和优化。