orange_monkey的博客

所有大写字母代表非终结符，小写字母代表终结符，省略号代表未知数目（可能为0）的不确定类型的文法符号。First集合：First集合顾名思义就是求一个文法符号串所可能推导出的符号串的第一个终结符的集合。First（X）就是求X所有推导出的符号串的第一个符号的集合。求First集合可分如下几种情况:1、单个符号的First集合：单个终结符的First集合就是它自己。2、单个非终结符的First集合：A-->a…产生式右部以终结符开头，根据定义，这种情况下显然可以看出a属于First(A)。.

 0 型 ( 短语文法，图灵机 )产生式形如： α → β其中：α∈ (VT ∪ VN）*，且至少含有一个非终结符；β∈ (VT  VN）* 1 型 ( 上下文有关文法，线性界限自动机 )产生式形如： α → β其中： α，β∈ (VT ∪ VN）*，|α| ≤ |β| ，仅 S→ε 例外 2 型 ( 上下文无关文法，非确定下推自动机 )产生式形如： A → β其中： A∈ VN ；β∈ (VT ∪ VN)* 3 型 ( 正规文法，有限自动机 )右线性文法：产.