形式语言的基本知识.pptVIP

7.符号串的 前缀：s为符号串,把s从尾部删去若干个（包括0个）符号后所余下的部分称为s的前缀。 S→aSBE aBc→abc bBd→bbd BEd→Bed eEB→eaB 例：2型（上下文无关）文法 文法G[S]： S→AB A→BS|0 B→SA|1 　　　　　　 S→ε G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 例如：G[E] E →T︱ E+T F → F︱ T*F F → (E) ︱i 思考题 1.已知文法G[A]，写出它定义的语言描述 如：G[A]: A → 0B|1C B → 1|1A|0BB C → 0|0A|1CC 答案:L={w|w?{0,1}+，且0和1的个数相同｝或 G[A]定义的语言由0、1符号串组成，串中0和1的个数相同. 2.给出语言描述，构造文法. 如：构造一文法,其定义的语言是由算符+, *, (,)和运算对象a构成的算术表达式的集合. 答案1: G[E] E→E+T|T T→T*F|F F→(E)|a 答案2: G[E] E→E+E|E*E|(E)|a E i E T + T F * i F T F i 例:算术表达式的文法 E::= E+E | E*E | (E) | i E::= E+T | T T ::= T*F | F F ::= (E) | i 3.7 有关文法的实用限制 1、 若文法中有如U::=U的规则，则这就是有害规则，它会引 起二义性，而无任何用处。 例如存在U::=U， U::= a | b,则有两棵语法树： U a U U a 文法中不能含有有害规则和多余规则，。 2、 多余规则： （1）某条规则U::=u的左部非终结符U（U不是识别符号），不在任何其他规则右部出现，即所有的推导始终不会用到此规则。 （2）在推导句子的过程中，一旦使用了该规则，将推不出任何终结符号串。即该规则中含有推不出任何终结符号串的非终结符。 例如给定G[S]，若其中关于U的规则只有如下一条： U::=xUy 该规则是多余规则。 若还有U::=a，则此规则 并非多余 若某文法中无有害规则或多余规则，则称该文法是压缩过的。 小 结 内容： 符号串和符号串集合的运算、文法和语言的定义 几个重要概念：递归、短语、简单短语和句柄、语法树、文法的二义性、文法的实用限制等 文法和语言的分类 重点：在理解基本概念的基础上 会求句型的短语、简单短语和句柄 根据给定的语言写出文法、根据给定的文法确定语言 判断文法的二义性 难点： 关于文法和语言的概念是形式语言的理论基础，形式语言抽象地定义为一个数学系统 “形式”是指：语言的所有规则以符号串的方式来描述。文法就是这样一个工具 推导，文法与语言的相互转换 3.3.5 句型的短语、简单短语和句柄 定义8. 给定文法G[S], w=xuy∈V+，为该文法的句型, 若 S== xUy, 且U==u, 则u是句型w相对于U的短语； 若 S== xUy, 且U==u, 则u是句型w相对于U的简单短语。 其中U ∈Vn，u ∈V+，x,y ∈V* * * ＋ 直观理解：短语是前面句型中的某个非终结符所能推出的符号串。 (5)句型　　10 　短语 　 10, 1 ,0 简单短语　 1, 0 定义8. 给定文法G[S], w=xuy∈V+，为该文法的句型, 若 S== xUy, 且U==u, 则u是句型w相对于U的短语； 若 S== xUy, 且U==u, 则u是句型w相对于U的简单短语。 其中U ∈Vn，u ∈V+，x,y ∈V* * * ＋ 直观理解：短语是前面句型中的某个非终结符所能推出的符号串。 无符号整数== 数字串 == 数字串 数字 == 数字数字 ==1 数字 ==1 0 无符号整数== 数字串 == 数字串 数字 == 数字串0 == 数字0 ==1 0 定义9. 任一句型的最左简单短语称为该句型的句柄。