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