文法与语言试卷.ppt

语法树 用一张图来表示一个句型的推导，有助于理解句子语法结构的层次。 定义：设文法G=(VN,VT,P,S ),对于文法G的任意一个句型都存在一棵相应的语法树： 结点由符号组成。 根结点对应于开始符号。 只有非终结符号对应的结点有子结点。 一个结点和它的子结点分别对应于文法中的一个规则的左部和右部。 语法树的例子 语法G[S]: S→AB A→aAb | ab B→cBd | cd S A B a b c B d c d S=AB=abB=abcBd=abccdd 语法树的相关概念 结点：每个树的结点对应于一个符号。结点的名字就是该符号。 边：两个结点之间的连线。 根结点：没有边进入的结点。 分支：某个结点向下射出的边和其结点称为分支。（父子结点，兄弟结点） 子树：语法树的某个结点和它向下射出的部分。 语法树的相关概念 叶子/末端结点：没有向下射出的边的结点称为叶子/末端结点。在相对于句型的语法树中，叶子/末端结点可能是非终结符号。 用语法树表示上下文无关文法的推导 步骤1：根结点为开始符号。 步骤2：对于每一次推导使用的规则U → u，找出U对应的结点（此时应该是末端结点），从该结点向下画分支，子结点从左到右分别是u中从左到右的符号。 重复步骤2直到推导的最后一步。 在语法树的推导过程中，没有后代的端末结点自左至右排列起来就是一个句型 一棵语法树表示了一个句型很多可能的不同推导过程。 文法的二义性 定义：如果对于某文法的一个句子存在两棵不同的语法树，则该句子是二义性的。而该文法是二义性文法。 这里的二义性是指语法结构上的。 如果一个句子具有二义性，那么对这个句子的结构可能有多种‘正确’的解释。通常情况下，句子的语义要通过其语法结构来定义，所以，二义性一般是有害的。 定理：文法的二义性是不可判定的。 文法二义性的例子 文法G[E]：E→E + E | E * E | (E) | i 文法的句子: i+i*i，其语法树如下： E E E + E * E E E + E E * E 文法二义性的解决方法 对文法加以限制； 从语义解释方面加以限制。 IF语句文法如下： 语句→ IF布尔表达式THEN语句 | IF布尔表达式THEN语句 ELSE语句 | 其它 说明该文法是二义性文法。 文法的实用限制 文法中不含形如P →P的产生式。 文法中每个非终结符都有用。 必须存在含P的句型； 从S出发，存在推导：S=* αPβ 对于P不存在永不终结的回路。 必须存在终结符串γ∈VT*,使得P=γ 文法的化简和改造 无用符号和无用产生式的删除 ε产生式的消除 单产生式的消除 文法和语言的Chomsky分类 Chomsky文法根据对产生式的不同限制，可分为四类：0型，1型，2型，3型。我们主要用2型和3型文法。 0型文法/PSG(Phrase Structure Grammar ) 0型文法的产生式：α → β， α∈ （VN∪VT）+且至少含一VN β ∈ （VN∪VT）* 相应语言称为0型语言，又称为递归可枚举集合。 1型文法/CSG(Context Sensitive Grammar ) 1型文法的产生式：γ1Aγ2 →γ1δγ2 ， 其中A ∈ VN ， γ1, γ2∈ (VN∪VT)* , δ ∈ (VN∪VT)+ 。 γ1, γ2为上下文。 1型文法也可以如下定义：所有的规则的右部都比左部长。 2型文法/CFG(Context Free Grammar ) 2型文法的产生式：A→ δ ，其中A ∈ VN , δ ∈ （VN∪VT）* 。 2型文法又称为上下文无关文法。 一般的程序设计语言的语法都使用2型文法描述。 2型文法的例子：S →ab|aSb 3型文法/RG(Regular Grammar) 文法产生式：（1） A→a或者A→aB （2） A→a或者A→Ba 其中A，B∈ VN，a∈VT。 3型文法又称为右（左）线性文法，正则文法，其语言也称为正则语言。 3型文法的例子：S →0|1|1A|2B A →1A|0B B →0|1|0B 语言的层次 这四种语言可被4种自动机识别： 0型——图灵机 1型——线性界限自动机 2型——下推自动机 3型——有穷自动机 从外到内，四种文法对产生式的限制越来越多，语言的描述能力越来越弱 正规文法的描述能力比上下文无关文法的描述能力弱 正规文法只能用于描述单词的构成 上下文无关文法有足够