at89c51实现K1键按下，LED数码管显示12：59：59，开始倒计时

实现这个功能需要用到AT89C51单片机的外部中断和定时器/计数器模块。具体实现步骤如下：

1. 确定K1键接在AT89C51单片机的哪个口线上，如P1.0口。

2. 设置P1.0口为输入口，并使能P1.0口的中断功能。

3. 初始化定时器/计数器模块，设定计数器初值为0，设定计数器自动重装载模式，设定计数器时钟源为外部输入引脚T0，设定计数器时钟源频率为1MHz（假设晶振频率为11.0592MHz，使用定时器/计数器模块的时钟分频器设置为12）。

4. 编写中断服务程序，当K1键按下时，P1.0口会产生中断请求，中断服务程序会被执行，将计数器初值设为3599999（即1小时减1秒），并将LED数码管显示为12:59:59。

5. 启动定时器/计数器模块开始倒计时，每计数到1秒时，定时器/计数器模块会产生中断请求，中断服务程序会被执行，将计数器初值减1，并将LED数码管显示为剩余时间。

6. 当计数器初值减到0时，定时器/计数器模块会停止计数，并产生中断请求，中断服务程序会被执行，LED数码管显示为00:00:00。

下面是一个简单的程序框架，仅供参考：

#include <reg52.h>

sbit K1 = P1^0;
sbit LED1 = P2^0;
sbit LED2 = P2^1;
sbit LED3 = P2^2;

unsigned long count = 0;

void init_timer(void)
{
    TMOD = 0x01;    //使用定时器0，工作在模式1（16位自动重装载）
    TH0 = 0xFC;     //设定计数器初值为35999
    TL0 = 0x18;
    ET0 = 1;        //使能定时器0中断
    TR0 = 1;        //启动定时器0
}

void init_interrupt(void)
{
    IT0 = 1;        //设置外部中断0为下降沿触发
    EX0 = 1;        //使能外部中断0
    EA = 1;         //使能总中断
}

void int0_isr() interrupt 0
{
    count = 3599999;
    LED1 = 1;
    LED2 = 2;
    LED3 = 3;
}

void timer0_isr() interrupt 1
{
    if(count > 0)
    {
        count--;
        //将count转换成时分秒格式，并显示在LED数码管上
    }
    else
    {
        TR0 = 0;    //停止定时器0
        //将LED数码管显示为00:00:00
    }
}

void main()
{
    init_timer();
    init_interrupt();
    while(1);
}

需要注意的是，定时器/计数器模块的计数值是以1为单位的，因此需要将计数器初值设定为1小时减1秒的计数值。同时，需要将计数器初值设定为0xFFFF-35999=29536，因为定时器/计数器模块在计数到0xFFFF时会自动重装载计数器初值，因此实际的计数器初值应该为0xFFFF减去1小时减1秒的计数值。