张志春 宋波 铁新成 安嘉翔 李丹 汤承林 傅骞 张世辉 雷相波 孔令富 徐兰芳 向重伦 邓东杰 琚磊 吕操

查讫 算符优先文法 优先函数 编码表达式 模型 对称加密 规则式 图灵机 左递归 二义性 形式语言 非对称加密 替换式 语法树 YACC 状态 公开密钥加密 递推 冲突 有限控制器 语法分析方法 同态 形式化 算符优先关系表 分程序 语句 非终极符 部件 分析程序