李桂成 徐宗本 崔小欣 张永奎 刘光武 蒋慰孙 许进 黄育潜 邹阳 田华 闫锐 陶志成 邱道文 杨小军 韩秀清 张康 陈红英 郑应平 曾晓勤 彭向荣 张兴 石晓龙 方明 崔小乐 沈恩绍 胡家宝 刘耀军

逻辑行为 PROTOB网 图文法 文法类型 嵌入问题 试题生成 稠密语言 C／S客户服务器结构 图像语言 自动机理论 约束型二阶逻辑 并行处理 有限自动机 文法 半群 Petri网 面向对象 PROT网 泵引理 编译软件 码 成员问题 分层系统 自动机 应用生成器 并发 结构模型 协调 产生式系统 组合理论