潘云鹤 戴晓君 陈海明 戴大为 杨建军 陈卫东 叶澄清 黄文集 董韫美

求值算法 递归函数 文法类 线性时间 递归枚举语言 上下文有关语言 节点 划分机制 算法 构造 软件测试工具 段 上下文无关文法 形式规约语言 子结点 接受语 正规语言 约简规则 分析树 最小序句子 分层构造 句子枚举 Petri 网语言 块