庞艳霞 王娜 田金文 李晶 陈继光 陈永生 孙玉强 杨宗源 温敬和 李志圣 宋娜娜 李玉萍 王海燕 李虎 潘培琛 高永建 石永 顾玉宛

相似性 编译程序 规则 WordNet LR分析表最小化 自然语言处理 领域词库 LR分析法 逻辑推论 定理证明 充分性条件 语法分析 歧义 吴方法 下推自动机 词法分析 XML 命题逻辑 数据抽取 算法设计与分析 受控自然语言 自上而下分析