孟琛 贺志坚 陈德运 张家泰 陈是荣 金成植 薛开 叶新铭 邱长华 周云才 刘磊 朱朝霞 王能健 雷相波 张志春 高玉兰

语法分析程序 冲突 二义性 一致性检测 UML语言 专家系统 LALR（1） 文法 分析程序 语法分析 递归下降分析法 推理机 编译器 TTCN-3 STEP 程序自动生成