编译原理Chat2.pptVIP

) E E E F F T T T T i + * ( E F i i E ?T ?F ?(E) ?(E+T) ?(T+T) ?(T*F+T) ?(F*F+T) ?(i*F+T) ?(i*i+T) ?(i*i+F) ?(i*i+i) 考虑句子(i*i+i) 描述程序设计语言时，对于上下文无关文法的限制 ： 1 不含P?P形式的产生式 2 每个非终结符P必须有用处 即： 2.3.3 形式语言鸟瞰 Chomsky于1956年建立形式语言体系，他把文法分成四种类型：0，1，2，3型。 与上下文无关文法一样，它们都由四部分组成，但对产生式的限制有所不同。 0型(短语文法，图灵机)： 产生式形如： ? ? ? 其中：?? (VT ? VN)*且至少含有一个非终结符；?? (VT ? VN)* 1型(上下文有关文法，线性界限自动机)： 产生式形如： ? ? ? 其中：|?| ? |?|，仅 S?? 例外。 2型(上下文无关文法，非确定下推自动机)： 产生式形如： A ? ? 其中：A? VN；?? (VT ? VN)*。 3型(正规文法，有限自动机)： 产生式形如： A ? ?B 或 A ? ? 其中： ?? VT*；A，B?VN 产生式形如： A ? B? 或 A ? ? 其中：