编译原理课程学习-程序设计语言及文法

编译原理-程序设计语言及文法

概念整理

//编译原理的课程复习，参考资料来源慕课哈工大编译原理课程

• 字母表∑ ：有穷符号集合

  • 乘积：

  • n次幂：

  • 正闭包：

  • 克林闭包：

  • ps：可以看出这正闭包和克林闭包的区别就在于时候有空串ε

• 串：字母表中符号的一个有穷序列（类似于字母表中的元素的一个序列）

  • 长度表示：|abc|= 3 | ε|=0
  • 连接运算：xy表示把y串附加到x串后面
  • 幂运算：字母表的幂运算

• 文法：描述语言构成的规则

  • 形式化定义

    • VT：终结符集 （语言的基本符号）

    • VN：非终结符集（语法变量）

    • P：产生式

    • S：开始符号

  • 符号约定
    

• 推导和规约：二者是一个互逆的过程

  • 推导的定义：用产生式的右部替代左部
  • 直接推导:一步得到
    

• 句型和句子

  • 都是在产生式的左部
  • 句型可以包括终结符和非终结符
  • 句子只可以是非终结符

• 语言：句子的集合记作 L(G)
  -同样具有多种计算和字母表和串的类似

• 文法的分类

  • 0型文法（无限制文法、短语结构文法）
    ∀α → β∈ P， α中至少包含1个非终结符
  • 1型文法 （上下文有关文法）
    ∀α → β∈ P， ｜ α｜ ≤｜ β｜
    *左侧的符号的长度不多于右部
    产生式的一般形式： α1Aα2 → α1βα2 ( β≠ε )
  • 2型文法 (上下文无关文法)
    ∀α → β∈ P， α ∈ VN α得是非终结符
    产生式的一般形式： A→β
  • 3型文法 (正则文法)
    右线性(Right Linear)文法： A→wB 或 A→w
    左线性(Left Linear) 文法： A→Bw 或 A→w
    

• 分析树：推导的图形化表示

  • 根节点的标号为文法开始符号
  • 内部结点表示对一个产生式A→β的应用， 该结点的标号是此产生式左
    部A 。该结点的子结点的标号从左到右构成了产生式的右部β
  • 叶结点的标号既可以是非终结符，也可以是终结符。从左到右排列叶
    节点得到的符号串称为是这棵树的产出( yield )或边缘(f rontier)
  • 短语： 给定一个句型，其分析树中的每一棵子树的边缘称为该句
    型的一个短语

• 二义性：如果一个文法可以为某个句子生成多棵分析树，
  则称这个文法是二义性的