在ATC51单片机中，设计一计数器，具体要求按下开关K1，七段数码管显示六进制计数器，按下开关K2，七段数码管显示十进制计数器，进行C51语言设计，写出编程

在C51单片机中设计一个既能显示六进制又能显示十进制的计数器，通常会涉及到中断和定时器的使用。这里是一个简单的示例，假设我们使用的是Keil C51编译环境，并且已经配置了按键K1和K2以及对应的中断处理函数。我们将使用Timer0作为计数源，外部中断INT0分别对应于K1和K2。

首先，我们需要包括头文件并初始化相关的硬件资源：

#include <reg52.h>
sbit K1 = P2^0; // 键K1连接P2.0口
sbit K2 = P2^1; // 键K2连接P2.1口
sbit数码管七段显示[7] = {...}; // 数码管七段数据线映射

void timer0_ISR(void) interrupt 1; // Timer0中断服务函数
void k1_ISR(void) interrupt 4; // INT0（K1）中断服务函数
void k2_ISR(void) interrupt 4; // INT0（K2）中断服务函数

void main(void) {
    TMOD = 0x01; // 设置Timer0为模式1
    TH0 = 0xFD;   // 设置初值使得定时器溢出频率适中
    TL0 = 0xFD;
    EA = 1;      // 开启全局中断
    ET0 = 1;     // 启动Timer0中断
    TR0 = 1;     // 启动Timer0
}

然后，编写中断服务函数：

// Timer0中断服务函数
void timer0_ISR(void) {
    if (TF0 == 1) { // Timer0溢出标志位
        TF0 = 0;    // 清除溢出标志
        switch (数码管显示状态) { // 根据当前显示模式更新计数器
            case 'H': // 六进制计数
                count++;
                break;
            case 'D': // 十进制计数
                count++;
                // 转换十进制到七段显示
                display_decimal(count);
        }
    }
}

// INT0（K1）中断服务函数
void k1_ISR(void) {
    // 当K1按下时切换到六进制计数
   数码管显示状态 = 'H';
}

// INT0（K2）中断服务函数
void k2_ISR(void) {
    // 当K2按下时切换到十进制计数
   数码管显示状态 = 'D';
}

void display_decimal(unsigned char num) {
    // 用七段显示码转换数字代码省略，这需要你自己实现或查找库函数
}

最后，记得设置按键中断并相应地改变计数器的显示模式：

void delay(unsigned int time) {
    while(time--) for(;;); // 省略实际延时函数
}

void init_GPIO() {
    // 初始化按键输入
    P2 &= ~0x03; // 关闭P2.0和P2.1的内部上拉电阻
}

void setup_key(int key_num) {
    EX0 = 1 << key_num; // 设置对应按键的中断请求
    IE0 |= 1 << key_num; // 开启中断
}

int main() {
    init_GPIO();
    setup_key(0); // K1
    setup_key(1); // K2
    while (1);
}