文法总结:
文法格式:α->β
终结符和非终结符
终结符:小写字母,不能一个或几个组成α
非终结符:大写字母
文法的类型
- 0型文法α->β
- α包含非终结符
- α,β属于非终结符和终结符的闭包
- 1型文法
- |α|<=|β|α的绝对长度小于β的绝对长度
- 2型文法
- |α|<=|β|α中只包含一个非终结符
- 3型文法
- 左线性:如果β中含终结点符,那么终结点符一定在左侧
- 右线性:如果β中含非终结点符,那么非终结点符一定在右侧
文法总结:
文法格式:α->β
终结符和非终结符
终结符:小写字母,不能一个或几个组成α
非终结符:大写字母
文法的类型