OUC编译原理实验报告 实验4：验证Yacc的使用/实验e4：从语言SUM到栈式计算机STACK的机器语言的翻译

于 2023-06-24 12:27:36 发布
阅读量426 收藏 1
点赞数
分类专栏： OUC编译原理实验 文章标签： 开发语言 编辑器
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Postlude/article/details/131360247
版权

编译原理实验报告

实验4：验证Yacc的使用

实验e4：从语言SUM到栈式计算机STACK的机器语言的翻译

中国海洋大学编译原理实验2023春
仅供同学参考思路 请勿直接抄袭 否则可能喜提0分

目录

文章目录

一.实验目的

实验4:

熟悉语法分析器生成工具Yacc的使用，并学会在实验环境下使用bison工具编译Yacc文法说明文件。学习如何使用lex和yacc合作进行语法分析。

实验e4:

熟悉语言SUM 到栈式计算机STACK的机器语言的翻译过程，理解编译的一般步骤。

二.实验内容

实验4

根据给出的calculator例子（calculator0,calculator1,calculator2,calculator3）

完成下面题目：用lex和yacc写一个计算布尔表达式真值的计算器。

实验e4

sum.c是用c语言写的从sum语言到栈式计算机STACK的机器语言的编译器（省略了词法语法分析部分）。

该程序的基本功能是先构造SUM语言的某句子的抽象语法树，然后将该语法树翻译成STACK的机器语言程序，并按顺序打印出该机器语言程序的指令。

程序中有两段内容不完整（在程序中用TODO表示），请读懂并编译通过该程序，再将TODO的部分补充完整，并编译通过。

三.实验要求

实验4

输入为一个布尔表达式，以换行结束。输出为这个布尔表达式的真值（true或false）。

尝试二义文法和非二义文法两种不同的实现方式。布尔表达式二义文法为：

S –> S or S |

S and S |

not S |

(S) |

true |

false，其中优先级or < and < not，or 和 and 左结合，not 右结合。

非二义文法请参照表达式非二义文法自己写出来。

在实验环境下用flex，bison和gcc工具将实验调试通过，并写出测试例测试正确性。

实验e4

  1. 读懂程序sum.c并编译通过。（该程序可以使用gcc编译通过，其他编译环境请自行调试）

  2. 用你自己写的程序段替换程序中的TODO部分，使程序功能与实验内容的描述一致。

  3. （此要求为额外要求，供学有余力的同学自行选择。）将程序的输入改为句子1+(2+3)的抽象语法树，尝试程序能否输出正确的结果。

四.实验过程及重点内容

实验4:

本实验需要编写两个文件 一个是词法分析器的lex文件 一个是语法分析的yacc文件

二义性文法:

lex需要用到的记号

image-20230525004943517

yacc:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CC1jnclr-1687580593336)(null)]

token定义了所有终结符

left和right定义了左右结合性 从上至下代表着优先级从低到高

image-20230525005141443

定义文法boool

$$代表左侧记号属性值 %i代表右侧第i个记号的属性值

根据布尔运算的定义 右侧用C语言计算属性值

阅读yacc使用指南 对.y和.l文件进行编译链接

image-20230525005509754

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-9WVwLPzH-1687580524132)(null)]

在ERYI.l中加入头文件引用

image-20230525005530418

最后使用gcc编译器 生成e4.exe

测试结果如下:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-UD5RRAlg-1687580524861)(null)]

与预期结果相等 括号也可正常识别

非二义性文法:

主要修改yacc文件中的文法

优先级从低到高
S->S or T | T
T->T and F | F
F->not F | (S) | false | true

image-20230525145053953

编译运行生成的exe文件 测试用例为:

true or not true and false
false or (not true and true)
false or not (true and false)
false or not true and false

结果符合预期输出:

image-20230525145229836

实验e4:

首先读懂main函数:

image-20230525153918045

由Exp_sum_new和exp_int_new构成了一棵加法的二叉树

Exp_print函数则是分析语法树,输出语法树对应的表达式是什么

image-20230525154014399

接下来由compile函数对二叉树进行后续遍历,如果是INT结点直接入栈

如果是SUM结点则继续遍历,并把ADD入栈

最后由List_reverse_print函数输出链表的结果

compile函数

image-20230525154302571

INT结点直接将值入栈

SUM结点继续递归后序遍历 并把ADD入栈

print函数

image-20230525154357409

先对list_new函数进行分析 由分析可知链表采用的是头插法

例如1+2 链表中储存的顺序由头节点开始应为 ADD->2->1

但实验要求翻转输出 函数名也对应为reverse_print

接下来对list链表进行逆序输出:

我采取的做法是将list再次使用头插法重新插入到一个新链表中 再次输出链表则为逆序

定义新结点类型:

image-20230525161134865

使用头插法把结点插入新链表中

image-20230525161148856

直接顺序遍历新链表:

image-20230525161220822

结果如下:

image-20230525161241889

修改语法树为1+(2+3)

image-20230525161520591

结果正常输出:

image-20230525161539164

五.实验结果

实验4

二义性文法:

image-20230525005616709

非二义性文法:

image-20230525145053953

实验e4:

image-20230525161241889

image-20230525161539164

Postlude
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
OUC编译原理实验报告 实验2：用Lex设计词法分析器1 / 实验3：用Lex设计词法分析器2
薛定谔的博客更新速率。
05-28 893
中国海洋大学编译原理实验2023春
编译原理实验e4：从语言SUM到栈式计算机STACK的机器语言的翻译
学习记录
06-01 2216
实验目的： 熟悉语言SUM 到栈式计算机STACK的机器语言的翻译过程，理解编译的一般步骤。 实验内容： sum.c是用c语言写的从sum语言到栈式计算机STACK的机器语言的编译器（省略了词法语法分析部分）。该程序的基本功能是先构造SUM语言的某句子的抽象语法树，然后将该语法树翻译成STACK的机器语言程序，并按顺序打印出该机器语言程序的指令。程序中有两段内容不完整（在程序中用TODO表示），请读懂并编译通过该程序，再将TODO的部分补充完整，并编译通过。 实验要求： 读懂程序sum.c并编译通过。（该
YACC介绍（译文）
qq_25268441的博客
05-28 5063
原文链接：yacc 术语 英文 中文 The lexical analyzer 词法分析器 Literal characters 原义字符 Specification 规范/标准 nonterminal symbol 非终止符号 In either case 无论发生何种情况 be assumed to 被认定为 potential 潜在的 简介 计算机程序输入通常有一些结构，实际上，每一次电脑程序输入可以
每天学点编程语言： YACC 实例分析
独立思考
11-29 410
本文例子来自于 第二版 LEX 负责词法分析，每次解析出一个 token。 一、 token 的类型和值 token 具有类型，在计算器例子中，包括如下类型： 1）、 NUMBER 一串数字 2）、 NAME 一个名称 3）、 '+', '-', '*', '/' 等符号 同时 token 具有值，不同类型的 token， 值的含义不一样，例...
使用bison和yacc制作脚本语言(2)
aammmmo6653的博客
03-13 222
我们先来想一下语法 一般脚本语言不需要定义类型直接在赋值的时候确定 我们主要考虑一下变量的类型 a = 1; b = 1.1; c = "str"; 一般来讲，我们使用这三种类型，整形，浮点型，字符串型 不过我们以后还可能使用原生类型等 变量的基本运算和其他语言基本相同 a = b + 12.4; c = "hehe" + a + "haha" 函数定义 我们可以模仿一下js的...
使用bison和yacc制作脚本语言(4)
aammmmo6653的博客
03-14 142
我们现在开始设计数据结构: interpreter.h #ifndef INTERPRETER #define INTERPRETER #include "../include/eval.h" typedef struct interpreter_tag Interpreter; struct interpreter_tag { MEM_Storage storage;//...
Yacc 与 Lex 快速入门
红孩儿编程大师
06-21 3455
简介： Lex 和 Yacc 是 UNIX 两个非常重要的、功能强大的工具。事实上， 如果你熟练掌握 Lex 和 Yacc 的话，它们的强大功能使创建 FORTRAN 和 C 的编译器如同儿戏。本文详细的讨论了编写自己的语言和编译器所 用到的这两种工具，包括常规表达式、声明、匹配模式、变量、Yacc 语 法和解析器代码。最后，本文解释了怎样把 Lex 和 Yacc 结合起来。
OUC编译原理全部实验
07-20
**编译原理是计算机科学中的一个核心领域，它研究如何将高级编程语言转换为机器可理解的二进制代码。本资源"OUC编译原理全部实验"为中国海洋大学2020年春季学期编译原理课程的实验代码集合，包含8个实验以及实验要求...
ouc编译原理实验一到八
06-15
在“ouc编译原理实验一到八”中，我们可以通过一系列实践来深入理解这一过程。以下是对这些实验的详细解析： 实验一通常会介绍编译器的基本概念，包括词法分析、语法分析、语义分析和代码生成等基本步骤。词法分析...
ouc机器学习实验，仅供参考
06-13
《机器学习实验详解——以OUC课程为例》 在当今数据驱动的时代，机器学习作为人工智能的重要分支，已经广泛应用于各个领域，如推荐系统、图像识别、自然语言处理等。中国海洋大学（OUC）的机器学习课程，为学生提供...
中国海洋大学编译原理试卷
12-17
中国海洋大学编译原理试卷（往年题）03年到08年所有往年试题。
OUC编译原理试卷
01-18
中国海洋大学OUC编译原理课试卷讲义，有需要的下载，感谢老师们的分享，谢谢！
编译原理实践——语法分析程序的自动生成工具YACC
04-06
语法分析程序的自动生成工具YACC相关知识介绍。
编译原理 lex 和 yacc
06-04
含lex 和 yacc 实现 源码，适用于课程设计
编译原理上机环境Parser 及YACC
11-10
编译原理的上机环境工具及说明文档，Parser介绍 ，YACC和LEX的应用
OUC机器学习实验.zip
最新发布
04-23
OUC机器学习实验
yacc 简易计算机规则,YACC 使用说明——计算器实例.pdf
weixin_29357339的博客
07-28 690
用Yacc 实现计算器功能 说明文件目录1. parser generator2 的环境设置 12. vc++环境的设置(目录设置) 23. 建立YACC文件，实现计算器功能 44. VC++ 的项目设置 75. 用vc++编译Parser Generator 生成的c文件 10首先说一下windows 环境下parser generator 和vc++ 的各项配置。首先需要...
【编译原理】实验四：Yacc 分析程序生成器
LJR的博客
01-08 2319
本次实验主要学习了yacc分析程序生成器的用法，yacc输入格式分为三部分，这与lex格式类似，第一部分是定义部分，第二部分是规则部分，第三部分是辅助函数。第一部分声明了头文件、宏以及一些全局变量或外部变量等；第二部分规定了一些记号和符号优先级等，同时以BNF的格式书写产生式（翻译方案）；
error: failed to push some refs to 'https://gitlab.ouc-online.com.cn/DigitalTeacher/ProjectTwo'
03-30
This error occurs when Git is unable to push some of the local commits to the remote repository. There can be several reasons for this error, such as: 1. Permission issues: You may not have permission to push to the remote repository. Make sure you have the required permission to push changes. 2. Conflicts: There may be conflicts between your local changes and the changes made by other users in the remote repository. You need to resolve these conflicts before pushing your changes. 3. Network issues: There may be network issues that prevent Git from communicating with the remote repository. Check your internet connection and try again. To resolve this error, you can try the following steps: 1. Check your Git credentials and ensure that you have the required permission to push changes to the remote repository. 2. Pull the latest changes from the remote repository, resolve any conflicts, and then try to push your changes again. 3. Check your internet connection and try again. If the problem persists, try pushing your changes from a different network or machine. 4. If none of the above steps work, you can try force pushing your changes. However, this should be done with caution as it can overwrite changes made by other users in the remote repository.

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值