文法S::=A|BA::=aCbA|aB::=BCC|aC::=ba 是二义性文法
正规文法对规则的限制比上下文无关文法对规则的限制要多一些。
任何正规文法都是上下文无关文法。
文法的二义性和语言的二义性是两个不同的概念。
用二义性文法定义的语言也是二义性的。
每个简单短语都是某规则的右部。
如果两个文法，它们的规则不相同，但是所描述的语言完全相同，那么这两个文法是等价的。
如果一个文法是二义性的，那么该文法中必定存在某个句子对应两颗不同的语法树。
3型语言对应的自动机为下推自动机。
设A是符号串, 则ε
设A 是符号串的集合,则{ε}
设A 是符号串的集合,则ε
空符号串的集合{ε }= {}=Ø。
一个句型中出现某一个产生式的右部,则此右部一定是此句型的句柄。
若一个语言是无穷集合,则定义该语言的文法一定是递归的。