软考必备-编译原理

文法总结:

文法格式:α->β

终结符和非终结符

终结符:小写字母,不能一个或几个组成α

非终结符:大写字母

文法的类型

1. 0型文法α->β
   1. α包含非终结符
   2. α,β属于非终结符和终结符的闭包

2. 1型文法
   1. |α|<=|β|α的绝对长度小于β的绝对长度

3. 2型文法
   1. |α|<=|β|α中只包含一个非终结符

4. 3型文法
   1. 左线性：如果β中含终结点符，那么终结点符一定在左侧
   2. 右线性：如果β中含非终结点符，那么非终结点符一定在右侧