如何用51单片机C语言编写一个详细的程序来控制8个LED灯模拟十字路口交通信号灯？该程序应遵循交替亮起红绿灯（每个颜色持续10秒），并在红绿灯之间插入3秒的黄灯信号，以保证交通流的顺畅进行。

为了使用51单片机C语言控制8个LED灯模拟交通信号灯，我们可以采用P0口作为数据线来驱动LED。这里以AT89S52为例，提供一个基本的程序框架。请注意，实际硬件布局和中断设置需要根据具体的51单片机型号和电路设计来调整。

首先，我们需要包含头文件、初始化GPIO口和定时器。假设我们有三个定时器T1、T2来分别管理红绿灯和黄灯的时间。

#include "reg51.h" // 包含必要的头文件

void init_GPIO(void); // 初始化GPIO口函数
void init_Timer(void); // 初始化定时器函数

然后，创建定时器中断服务函数：

ISR(TIMER1_VECTOR) { // T1中断服务函数
    if (flag_red == 1) {
        P0 = ~P0; // 红灯灭
        flag_red = 0;
        flag_yellow = 1; // 切换到黄灯
    } else if (flag_yellow == 1) {
        P0 = ~P0; // 黄灯灭
        flag_yellow = 0;
        flag_green = 1; // 切换到绿灯
    }
}

ISR(TIMER2_VECTOR) { // T2中断服务函数
    if (flag_green == 1) {
        P0 = ~P0; // 绿灯灭
        flag_green = 0;
        flag_red = 1; // 切换到红灯
    }
}

主程序中，初始化GPIO和定时器，并设置定时器中断：

int main(void) {
    init_GPIO();
    init_Timer();

    flag_red = 1; // 首先点亮红灯
    start_Timer1(); // 启动红灯定时器
    while (1); // 无限循环
}

`init_GPIO()` 和 `init_Timer()` 函数用于配置GPIO口和定时器，`start_Timer1()` 调用相应的定时器函数开始定时。

记得在适当的地方加上延时函数（如 delay_ms() 或者利用定时器实现软延时），以确保每个颜色的持续时间和黄灯的插入时间精确。