软考必备-编译原理

文法总结:

文法格式:α->β

终结符和非终结符

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

非终结符:大写字母

文法的类型

  1. 0型文法α->β
    1. α包含非终结符
    1. α,β属于非终结符和终结符的闭包
  1. 1型文法
    1. |α|<=|β|α的绝对长度小于β的绝对长度
  1. 2型文法
    1. |α|<=|β|α中只包含一个非终结符
  1. 3型文法
    1. 左线性:如果β中含终结点符,那么终结点符一定在左侧
    1. 右线性:如果β中含非终结点符,那么非终结点符一定在右侧

你可能感兴趣的:(软考必备-编译原理)