编译原理总结

编译原理

形式语言定义

• 语言集
• 上下文无关文法
  • 文法四部分
    • 句子-文法转换
    • 产生式的递归
      • 最小递归单位
      • 双递归
      • 嵌套递归
        • 左右嵌套
        • 夹心嵌套
  • 推导
    • 推导的内外层顺序
    • 最左和最右推导
    • 产生式递归与最左最右的联系
  • 文法的二义性
    • 不同语法树，相同句子
    • 递归重复结构（仅连接）
• 语法分析树

词法分析

语法分析

自上而下分析

自下而上分析

• 移进规约法
  • 规范规约
    • LR分析法->LR文法
      • LR分析器
        • 四个结构
        • 四种动作
      • LR(0)分析表->LR(0)文法
        • 项目集规范族
          • 项目->活前缀
            • 四种项目
            • 项目闭包运算
            • 项目集规范族识别算法
            • 有效项目
          • 文法拓广->拓广文法
        • 状态转换GO函数->有效项目集
      • SLR分析表
      • 规范LR分析表
      • LR分析法的扩展->非LR文法
  • 算符优先分析
  • 符号栈与语法树的结构

语义分析