动手实现编译器(二)——语法分析_sysy文法-程序员宅基地

技术标签: 编译器  

在这一节中,将介绍语法分析器。
在上一节的词法分析上实现SysY语言语法分析,来解析类似2 - 15 / 7 + 3 * 8 T_EOFT_EOF表示终结符)
SysY 语言的文法采用扩展的 Backus 范式(EBNF,Extended Backus-NaurForm)表示,其中:

  • 符号[…]表示方括号内包含的为可选项
  • 符号{…}表示花括号内包含的为可重复 0 次或多次的项
  • 终结符或者是由单引号括起的串,或者是 Ident、InstConst 这样的记号
    现在,给出SySY语言的关于加减乘除取余的简易语法。

加减表达式: AddExp → UnaryExp (’+’ | ‘−’) UnaryExp
乘除模表达式: MulExp → UnaryExp (’*’ | ‘/’ | ‘%’) UnaryExp

在这里,“UnaryExp”可以简单地看作是整数。
可以看到SysY语言的语法是递归的,因此可以递归解析它。可以编写如下所示的伪代码:

递归解析函数() 
{
    
	扫描并检查第一个令牌是一个数字。如果不是,则返回错误。
	获取下一个单词。
	如果到达输入的末尾,则返回结果。
	否则,调用递归解析函数()}

抽象语法树

为了进行语义分析,我们需要代码来解释识别的输入,或将其转换为另一种格式,例如汇编代码。因此我们首先要将输入转换为语法分析树,也称为 AST。
AST 的节点结构:

// AST节点类型
enum
{
    
    A_ADD, A_SUB, A_MUL, A_DIV, A_MOD, A_INT
};

// 抽象语法树结构
struct ASTnode
{
    
    int op;				        // 节点的操作类型
    struct ASTnode *left;
    struct ASTnode *right;
    int intvalue;				// 整数节点的值,没有子树
};

构建AST

用以下代码构建AST:

struct ASTnode *mkastnode(int op, struct ASTnode *left, struct ASTnode *right, int intvalue)
{
    
    struct ASTnode *n;
    n = (struct ASTnode *) malloc(sizeof(struct ASTnode));
    if (n == NULL)
    {
    
        fprintf(stderr, "Unable to malloc in mkastnode()\n");
        exit(1);
    }
    n->op = op;
    n->left = left;
    n->right = right;
    n->intvalue = intvalue;
    return n;
}


// 生成AST叶子节点
struct ASTnode *mkastleaf(int op, int intvalue)
{
    
    return mkastnode(op, NULL, NULL, intvalue);
}

// 生成只有一个左孩子的一元AST节点
struct ASTnode *mkastunary(int op, struct ASTnode *left, int intvalue)
{
    
    return (mkastnode(op, left, NULL, intvalue));
}

简单的表达式解析器

为了将词法分析中的单词用作AST节点操作值。首先,定义一个函数将单词映射到AST节点操作值。代码如下:

// 将单词转换为AST操作
int token_op(int token)
{
    
    switch (token)
    {
    
        case T_ADD:    return A_ADD;
        case T_SUB:    return A_SUB;
        case T_MUL:    return A_MUL;
        case T_DIV:    return A_DIV;
        case T_MOD:    return A_MOD;
        default:    fprintf(stderr, "unknown token in token_op() on line %d\n", Line);
                    exit(1);
    }
}

然后定义一个函数来检查下一个单词是否为整数,并生成一个AST节点来储存整数值。

为此首先定义一个全局变量Token,表示从输入中扫描来的最新单词

struct token	Token;      //当前扫描单词

函数代码如下:

// 解析一个整数单词并返回表示它的AST节点
struct ASTnode *primary()
{
    
    struct ASTnode *n;
    // 对于整数单词,为其生成一个AST叶子节点并扫描下一个单词。
    // 否则,语法错误。
    switch (Token.token)
    {
    
        case T_INT:  
            n = mkastleaf(A_INT, Token.intvalue);
            scan(&Token);
            return n;
        default:
            fprintf(stderr, "syntax error on line %d\n", Line);
            exit(1);
    }
}

最后将上面的几个函数组装为语法分析器,代码如下:

struct ASTnode *binexpr()
{
    
    struct ASTnode *n, *left, *right;
    int nodetype;

    // 获取左节点的整数,同时获取下一个单词
    left = primary();

    // 如果下一个单词是文件结尾,则返回左节点
    if (Token.token == T_EOF)   return left;

    // 从单词映射到节点类型
    nodetype = token_op(Token.token);

    // 获取下一个单词
    scan(&Token);

    // 递归得到右子树
    right = binexpr();

    // 将左、右子树合并成一棵树
    n = mkastnode(nodetype, left, right, 0);
    return n;
}

为了直观显示结果,添加一个结果输出该函数,代码如下:

// AST操作符
char *ASTop[] = {
    "+", "-", "*", "/", "%"};

// 给定一个AST,返回一个表达式
int interpretAST(struct ASTnode *n)
{
    
    int leftval, rightval;

    // 获得左、右子树值
    if (n->left)    leftval = interpretAST(n->left);
    if (n->right)   rightval = interpretAST(n->right);

    // 调试:打印将要做的事情
    if (n->op == A_INT)    printf("int %d\n", n->intvalue);
    else    printf("%d %s %d\n", leftval, ASTop[n->op], rightval);

    switch (n->op)
    {
    
        case A_ADD:    return leftval + rightval;
        case A_SUB:    return leftval - rightval;
        case A_MUL:    return leftval * rightval;
        case A_DIV:    return leftval / rightval;
        case A_MOD:    return leftval % rightval;
        case A_INT:    return n->intvalue;
        default:    fprintf(stderr, "Unknown AST operator %d\n", n->op);
                    exit(1);
    }
}

同时修改main()函数为以下代码,来验证结果

// 用法 compiler -o -s outfile infile
int main(int argc, char *argv[])
{
    
    struct ASTnode *n;
    if(argc != 5)
    {
    
        fprintf(stderr, "compiler -o -s outfile infile\n");
        exit(1);
    }
    init();
    if ((Infile = fopen(argv[4], "r")) == NULL)
    {
    
        fprintf(stderr, "Unable to open %s: %s\n", argv[1], strerror(errno));
        exit(1);
    }
    scan(&Token);			            // 从输入中获得第一个单词
    n = binexpr();		                // 解析表达式
    printf("%d\n", interpretAST(n));	// 计算最终的结果
}

输入:

2 - 15 / 7 + 3 * 8

输出:

int 2
int 15
int 7
int 3
int 8
3 * 8
7 + 24
15 / 31
2 - 0
2

输入:

2 - 15 / 7 + 3 * * 8

输出:

syntax error on line 1

输入:

2 8 - 15 / 7 + 3 * 8

输出:

unknown token in token_op() on line 1

可以看到这个语法分析器可以识别SysY语言的部分语法,并检查编译器的输入是否符合该语法,但不能处理不同的运算符优先级。就目前而言,该代码将所有运算符都视为具有相同的优先级。在下一节,将加入对表达式进行语义分析的代码以获得正确的数学结果。

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_34851605/article/details/117827649

智能推荐

使用nginx解决浏览器跨域问题_nginx不停的xhr-程序员宅基地

文章浏览阅读1k次。通过使用ajax方法跨域请求是浏览器所不允许的,浏览器出于安全考虑是禁止的。警告信息如下:不过jQuery对跨域问题也有解决方案,使用jsonp的方式解决,方法如下:$.ajax({ async:false, url: 'http://www.mysite.com/demo.do', // 跨域URL ty..._nginx不停的xhr

在 Oracle 中配置 extproc 以访问 ST_Geometry-程序员宅基地

文章浏览阅读2k次。关于在 Oracle 中配置 extproc 以访问 ST_Geometry,也就是我们所说的 使用空间SQL 的方法,官方文档链接如下。http://desktop.arcgis.com/zh-cn/arcmap/latest/manage-data/gdbs-in-oracle/configure-oracle-extproc.htm其实简单总结一下,主要就分为以下几个步骤。..._extproc

Linux C++ gbk转为utf-8_linux c++ gbk->utf8-程序员宅基地

文章浏览阅读1.5w次。linux下没有上面的两个函数,需要使用函数 mbstowcs和wcstombsmbstowcs将多字节编码转换为宽字节编码wcstombs将宽字节编码转换为多字节编码这两个函数,转换过程中受到系统编码类型的影响,需要通过设置来设定转换前和转换后的编码类型。通过函数setlocale进行系统编码的设置。linux下输入命名locale -a查看系统支持的编码_linux c++ gbk->utf8

IMP-00009: 导出文件异常结束-程序员宅基地

文章浏览阅读750次。今天准备从生产库向测试库进行数据导入,结果在imp导入的时候遇到“ IMP-00009:导出文件异常结束” 错误,google一下,发现可能有如下原因导致imp的数据太大,没有写buffer和commit两个数据库字符集不同从低版本exp的dmp文件,向高版本imp导出的dmp文件出错传输dmp文件时,文件损坏解决办法:imp时指定..._imp-00009导出文件异常结束

python程序员需要深入掌握的技能_Python用数据说明程序员需要掌握的技能-程序员宅基地

文章浏览阅读143次。当下是一个大数据的时代,各个行业都离不开数据的支持。因此,网络爬虫就应运而生。网络爬虫当下最为火热的是Python,Python开发爬虫相对简单,而且功能库相当完善,力压众多开发语言。本次教程我们爬取前程无忧的招聘信息来分析Python程序员需要掌握那些编程技术。首先在谷歌浏览器打开前程无忧的首页,按F12打开浏览器的开发者工具。浏览器开发者工具是用于捕捉网站的请求信息,通过分析请求信息可以了解请..._初级python程序员能力要求

Spring @Service生成bean名称的规则(当类的名字是以两个或以上的大写字母开头的话,bean的名字会与类名保持一致)_@service beanname-程序员宅基地

文章浏览阅读7.6k次,点赞2次,收藏6次。@Service标注的bean,类名:ABDemoService查看源码后发现,原来是经过一个特殊处理:当类的名字是以两个或以上的大写字母开头的话,bean的名字会与类名保持一致public class AnnotationBeanNameGenerator implements BeanNameGenerator { private static final String C..._@service beanname

随便推点

二叉树的各种创建方法_二叉树的建立-程序员宅基地

文章浏览阅读6.9w次,点赞73次,收藏463次。1.前序创建#include<stdio.h>#include<string.h>#include<stdlib.h>#include<malloc.h>#include<iostream>#include<stack>#include<queue>using namespace std;typed_二叉树的建立

解决asp.net导出excel时中文文件名乱码_asp.net utf8 导出中文字符乱码-程序员宅基地

文章浏览阅读7.1k次。在Asp.net上使用Excel导出功能,如果文件名出现中文,便会以乱码视之。 解决方法: fileName = HttpUtility.UrlEncode(fileName, System.Text.Encoding.UTF8);_asp.net utf8 导出中文字符乱码

笔记-编译原理-实验一-词法分析器设计_对pl/0作以下修改扩充。增加单词-程序员宅基地

文章浏览阅读2.1k次,点赞4次,收藏23次。第一次实验 词法分析实验报告设计思想词法分析的主要任务是根据文法的词汇表以及对应约定的编码进行一定的识别,找出文件中所有的合法的单词,并给出一定的信息作为最后的结果,用于后续语法分析程序的使用;本实验针对 PL/0 语言 的文法、词汇表编写一个词法分析程序,对于每个单词根据词汇表输出: (单词种类, 单词的值) 二元对。词汇表:种别编码单词符号助记符0beginb..._对pl/0作以下修改扩充。增加单词

android adb shell 权限,android adb shell权限被拒绝-程序员宅基地

文章浏览阅读773次。我在使用adb.exe时遇到了麻烦.我想使用与bash相同的adb.exe shell提示符,所以我决定更改默认的bash二进制文件(当然二进制文件是交叉编译的,一切都很完美)更改bash二进制文件遵循以下顺序> adb remount> adb push bash / system / bin /> adb shell> cd / system / bin> chm..._adb shell mv 权限

投影仪-相机标定_相机-投影仪标定-程序员宅基地

文章浏览阅读6.8k次,点赞12次,收藏125次。1. 单目相机标定引言相机标定已经研究多年,标定的算法可以分为基于摄影测量的标定和自标定。其中,应用最为广泛的还是张正友标定法。这是一种简单灵活、高鲁棒性、低成本的相机标定算法。仅需要一台相机和一块平面标定板构建相机标定系统,在标定过程中,相机拍摄多个角度下(至少两个角度,推荐10~20个角度)的标定板图像(相机和标定板都可以移动),即可对相机的内外参数进行标定。下面介绍张氏标定法(以下也这么称呼)的原理。原理相机模型和单应矩阵相机标定,就是对相机的内外参数进行计算的过程,从而得到物体到图像的投影_相机-投影仪标定

Wayland架构、渲染、硬件支持-程序员宅基地

文章浏览阅读2.2k次。文章目录Wayland 架构Wayland 渲染Wayland的 硬件支持简 述: 翻译一篇关于和 wayland 有关的技术文章, 其英文标题为Wayland Architecture .Wayland 架构若是想要更好的理解 Wayland 架构及其与 X (X11 or X Window System) 结构;一种很好的方法是将事件从输入设备就开始跟踪, 查看期间所有的屏幕上出现的变化。这就是我们现在对 X 的理解。 内核是从一个输入设备中获取一个事件,并通过 evdev 输入_wayland

推荐文章

热门文章

相关标签