用c语言手搓一个600行的类c语言解释器: 给编程初学者的解释器教程（4）- 语法分析1：EBNF和递归下降文法

最新推荐文章于 2023-09-06 00:34:41 发布

云微123

最新推荐文章于 2023-09-06 00:34:41 发布

阅读量1.7k

点赞数 7

分类专栏：笔记数据结构与算法文章标签：编程语言算法编译器 c语言

本文链接：https://blog.csdn.net/qq_42779423/article/details/105954353

版权

本文是编程初学者的解释器教程系列第四篇，介绍如何使用EBNF和递归下降文法进行语法分析。通过示例详细解释了算术和布尔表达式的解析实现，以及BNF、EBNF和递归下降文法的基本概念。

摘要由CSDN通过智能技术生成

这一章开始进入解释器的核心部分: 语法分析器；

我们来看看两个概念，EBNF和递归下降文法，以及如何用这两个方法来计算tryC中的表达式。

就像之前所说的那样，语法分析指将词法分析得到的标记流（token）进行分析，组成事先定义好的有意义的语句。那么如何完成这样一个工作呢？我们可以借助一个叫“BNF”的数学工具。

Backus-Naur符号（就是众所周知的BNF或Backus-Naur Form）是描述语言的形式化的数学方法，由John Backus (也许是Peter Naur)开发，最早用于描述Algol 60编程语言的语法。

BNF类似一种数学游戏：从一个符号开始（叫做起始标志，实例中常用S表示），然后给出替换前面符号的规则。

BNF语法定义的语言是一个字符串集合，可以按照下述规则书写，这些规则叫做书写规范（产生式规则），例如一个四则运算表达式可以表示为：

exp -> exp op exp | ( exp ) | number
op -> + | - | * | /

其中’|'用于表示可选择的不同项，"->"用于表示推导规则，从产生式左边的符号可以推导出产生式右边的符号；

要解析一个表达式，我们可以完成这样一个替换：对于

(3+2)*4

可以替换为

    exp => exp op exp => exp * number
        => ( exp ) * number
        => ( exp op exp ) * number
        => ( number + number ) * number

其中我们把能够被替换的符号叫做非终结符，不能被替换的叫做终结符。

上下文无关文法就是说，这个文法中所有的产生式左边只有一个非终结符，就像上面写的那个文法一样。通常我们在编译器构建中使用的都是上下文无关文法。

EBNF是基本巴科斯范式(BNF)元语法符号表示法的一种扩展，主要对BNF中常见的两种情况，即重复项和可选项添加了相应的语法规则，如用方括号"[ … ]"
表示可选部分，用花括号"{ … }"表示重复出现的部分，如上面那个文法可以改写为：

exp -> exp {
    op exp } | ( exp ) | number
op -> + | - | * | /

又比如对于if语句可以写成：

if-stmt -> if ( exp ) statement; [ else statement; ]

递归下降分析法也很简单，就是用函数的调用来模拟BNF的替换过程，我们只需要为每个非终结符定义一个分解函数，它就能从起始非终结符开始，不断地调用非终结符的分解函数，不断地对非终结符进行分解，直到匹配输入的终结符。

当然，递归下降分析并不是对于所有的文法都能正常使用的，例如经典的左递归问题：比如这样一个文法

exp -> exp {
    op exp } | ( exp ) |

关注

专栏目录