贺汛 卞磊 党建武 段振华 郝克刚 金茂忠 吴春寒 朱平 王泽宇 邱丽萍 张兴元 王琛 刘超 陈薇薇 卢朝晖 陈芳 黄贤英 张霞 严兵 吕映芝 沈虹

状态转移图 静态检测 状态图 回溯自动机 下推自动机 IsabelleHOL 正则语言 收费系统 形式语言 图灵机 算符优先 Thompson方法 算法复杂度 形式化验证 标志条形码 数字电路 软件工程 故障定位 自动转换 产生式 代数性质 布尔矩阵 模式串 过程内数据流异常 模式匹配 半群 目标串 （n k）CRC码 编译程序