【软考】8.2 编译程序基本原理/文法/正规式/有限自动机

《编译程序基本原理》

  • 编译过程
  1. 词法分析: 针对单词;输入是字符;读的是字符流;
  2. 语法分析: 针对语句;读的是记号流,即词法分析产生的一个个单词
  3. 语义分析(针对语句含义)

a. 静态语义错误(编译阶段)
b. 动态语义错误(运行阶段)

  1. 中间代码和目标代码(可跨平台)
  2. 代码优化
  3. 目标代码生成(不可跨平台)
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第1张图片
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第2张图片
  • 中间代码
  • 常见:后缀式(逆波兰式)、三元式(三地址码)、四元式、树
  • 后缀表达式的简单求法:从左到右开始先把表达式加上括号,再依次把运算符加到本层次的括号后面
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第3张图片
  • 给中缀表达式求后缀:
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第4张图片

《文法定义》

  • 文法(编译阶段)
  • “ + ”:正则闭包,不含空串
  • “ * ”:闭包,含空串
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第5张图片
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第6张图片
  • E ——> T+T ——> T:只考虑符号,只看逻辑运算
  • E + T * - F:2 + 3 * - 4 <—— 2 + -3 * 4
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第7张图片

《正规式》

  • 带“ * ”包含空串,无“ * ” 不包含空串
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第8张图片
  • 闭包包含空串,正则闭包不包含空串【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第9张图片
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第10张图片

《有限自动机》

  • 确定的有限自动机(DFA):五元组
  • 不确定的有限自动机(NFA)
  • 五元组:
  • 一个环(开始),两个环(结束)
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第11张图片
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第12张图片

【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第13张图片

  • DFA和NFA的转换

1. 看状态图上的转换条件是否都有
2. 先分析状态图的头尾,再分析中间

  • 转换条件:S1 —0—> S4,S2 —空串—> S3
  • 头尾:0 0
    【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第14张图片

《语法分析方法》

【软考】8.2 编译程序基本原理/文法/正规式/有限自动机_第15张图片

你可能感兴趣的:(文档解析,计算机软考,网络,服务器,数据库)