二元文法

• 作者: 张继军 董卫 费玉奎
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 二元文法 袋自动机 袋语言 推导
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 95-97,117
• 页数: 4页
• 分类号: TP301
• 字数: 3613字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.029

摘要

在正规文法的基础上,通过增加一个约束变量集合,给出了二元文法的定义,证明了二元文法与袋自动机的等价性,定义了平衡推导、递增推导、递减推导和传递推导,证明了它们与不变重复序列、增重复序列、减重复序列和传递重复序列之间的关系,并且给出判定一个二元文法所产生语言(袋语言)分别是正规语言、上下文无关语言或上下文有关语言的充分条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	费玉奎	山东农业大学信息学院	8	29	3.0	5.0
2	张继军	山东农业大学信息学院	25	123	7.0	9.0
3	董卫	山东农业大学信息学院	9	19	3.0	4.0