编译原理(文法知识).docVIP

文法是一个四元组：G = {VT,VN,S,P} ? ??? 其中VT是一个非空有限的符号集合，它的每个元素成为终结符号。VN也是一个非空有限的符号集合，它的每个元素称为非终结符号，并且VT∩VN=Φ。SVN，称为文法G的开始符号。P是一个非空有限集合，它的元素称为产生式。所谓产生式，其形式为α→β，α称为产生式的左部，β称为产生式的右部，符号“→”表示“定义为”，并且α、β(VT∪VN)*，α≠ε，即α、β是由终结符和非终结符组成的符号串。开始符S必须至少在某一产生式的左部出现一次。另外可以对形式α→β，α→γ的产生式缩写为α→β|γ，以方便书写。 ? ??? 注：一般以大写字母表示非终结符，以小写字母表示终结符。 ? ??? 著名语言学家Noam Chomsky(乔姆斯基)根据对产生式所施加的限制的不同，把文法分成四种类型，即0型、1型、2型和3型。 ? 0型文法 ? ??? 设G={VT,VN,S,P}，如果它的每个产生式α→β是这样一种结构：α(VT∪VN)* 且至少含有一个非终结符，而β(VT∪VN)*，则G是一个0型文法。0型文法也称短语文法。一个非常重要的理论结果是：0型文法的能力相当于图灵机(Turing)。或者说，任何0型文语言都是递归可枚举的，反之，递归可枚举集必定是一个0型语言。0型文法是这几类文法中限制最少的一个，所以一般见到的至少是0型文法。