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

《编译程序基本原理》

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

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

  1. 中间代码和目标代码(可跨平台)
  2. 代码优化
  3. 目标代码生成(不可跨平台)
    在这里插入图片描述
    在这里插入图片描述
  • 中间代码
  • 常见:后缀式(逆波兰式)、三元式(三地址码)、四元式、树
  • 表达式采用逆波兰式表示时,利用 栈 进行求值
  • 后缀表达式的简单求法:从左到右开始先把表达式加上括号,再依次把运算符加到本层次的括号后面
    在这里插入图片描述
  • 给中缀表达式求后缀:
    在这里插入图片描述

《文法定义》

  • 文法(编译阶段)
  • “ + ”:正则闭包,不含空串
  • “ * ”:闭包,含空串
    在这里插入图片描述
    在这里插入图片描述
  • E ——> T+T ——> T:只考虑符号,只看逻辑运算
  • E=>E+T =>T+T =>T+T * F =>F + F * F =>N + -F * N =>N + -N * N
  • 所以符合答案的2 + -3 * 4
    在这里插入图片描述

《正规式》

  • 带“ * ”包含空串,无“ * ” 不包含空串
    在这里插入图片描述
  • 闭包包含空串,正则闭包不包含空串在这里插入图片描述
    在这里插入图片描述

《有限自动机》

  • 确定的有限自动机(DFA):五元组
  • 不确定的有限自动机(NFA)
  • 五元组:
  • 一个环(开始),两个环(结束)
    在这里插入图片描述
    在这里插入图片描述

在这里插入图片描述

  • DFA和NFA的转换

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

  • 转换条件:S1 —0—> S4,S2 —空串—> S3
  • 头尾:0 0
    在这里插入图片描述

《语法分析方法》

在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值