CS143-PA3: 语法解析得到抽象语法树
2023-04-18 14:59:46 时间
bison格式
Bison文件结构同flex类似,区别在于声明和规则部分:
%{
Prologue
%}
Declarations
%%
Rules
%%
Epilogue(User subroutines)
bison declarations:
%token: 终结符(terminal) %type: 非终结符(non-terminal)
如果采用了union定义,可以通过<>
指定token或type的类型。
%left, %right, %nonassoc和%precedence用于定义token的优先级和结合性。
bison规则:
每条bison规则中的symbol有对应的value:
- target symbol: $$
- symbol on right: 1, 2 ... bison规则示例:
exp: factor default $$ = $1
| exp ADD factor { $$ = $1 + $3; }
| exp SUB factor { $$ = $1 - $3; }
完成bison语法规则定义
在项目Assignment/PA3中,作者已经再cool-tree.aps中预先给出了抽象语法树的定义,并由其生成了c++调用接口,保存在cool-tree.h/cc
中。
PA3的主要任务就是根据抽象语法树的定义和cool的语法规则在cool.y
文件中添加AST节点声明和对应规则项。
cool语法解析规则参考cool-manual.pdf
中section10-Figure1
中的内容实现,实现过程需要结合cool-tree.h/c
中的接口函数完成。
实验操作:
PA3中仅包含了语法解析器parser
,未包含词法分析器lexer
,可以使用项目bin
目录下提供的lexer
完成词法分析,或者用PA2中完成的也可以。
make parser
lexer good.cl | ./parser
结果会输出good.cl对应的抽象语法树。
附录
终结符/非终结符:
终结符:不能单独出现在推导式左边的符号;已经明确知道含义的字符串,比如关键字,数字,常量等。 非终结符:终结符以外的内容。
项目编译问题
由于bison版本问题,编译如果出现no yylex
错误,可以把Makefile中的LIB = -lfl
清空。
相关文章
- 【技术种草】cdn+轻量服务器+hugo=让博客“云原生”一下
- CLB运维&运营最佳实践 ---访问日志大洞察
- vnc方式登陆服务器
- 轻松学排序算法:眼睛直观感受几种常用排序算法
- 十二个经典的大数据项目
- 为什么使用 CDN 内容分发网络?
- 大数据——大数据默认端口号列表
- Weld 1.1.5.Final,JSR-299 的框架
- JavaFX 2012:彻底开源
- 提升as3程序性能的十大要点
- 通过凸面几何学进行独立于边际的在线多类学习
- 利用行动影响的规律性和部分已知的模型进行离线强化学习
- ModelLight:基于模型的交通信号控制的元强化学习
- 浅谈Visual Source Safe项目分支
- 基于先验知识的递归卡尔曼滤波的代理人联合状态和输入估计
- 结合网络结构和非线性恢复来提高声誉评估的性能
- 最佳实践丨云开发CloudBase多环境管理实践
- TimeVAE:用于生成多变量时间序列的变异自动编码器
- 具有线性阈值激活的神经网络:结构和算法
- 内网渗透之横向移动 -- 从域外向域内进行密码喷洒攻击