概述
Lemon是一个C或者C++语言的LALR(1)语法分析器生成器。它和“bison”与“yacc”的功能是一样的,但它不是“bison”或者“yacc”的简单复制。为了减少编写代码的错误,它使用了一种不同的语法。Lemon使用了一种更为高级的分析引擎,运行速度比“bison”与“yacc”要更快,并且该引擎是可重入的和线程安全的。更进一步的,Lemon实现了能够消除资源泄漏的特性,适合于长时间运行的程序例如GUI或者嵌入式控制器中。
在UNIX领域,很多人对LEX和YACC可能比较熟悉。通过搭配使用这两个工具,可以构造出非常复杂的词法和语法分析程序。Lemon是一个类似于YACC的LALR(1)语法分析器,相对于YACC,它具有如下优势:
Lemon使用了一套不同于YACC的语法,这套语法更不容易产生编程错误;
Lemon生成的解析器是可重入和线程安全的;
Lemon引入了非终结符析构器的概念,使得写一个不会产生内存泄漏的解析器更容易。
众所周知的SQLite的语法分析就是用Lemon生成的。关于Lemon的详细信息,可见本文的参考资料部分。这里引入一个Lemon入门教程,供感兴趣的同学参考,本教程来自http://freshmeat.net/articles/view/1270。
下面是对lemon语法分析生成器的一个简介。
操作的原理
lemon的主要目标是把一个特定语言的上下文无关文法(CFG)翻译成C语言实现的该语言的语法分析器。程序有两个输入:
语法规范
分析器模板文件
典型的,程序员只需提供语法规范即可。Lemon自带了一个语法分析器模板,这对大多数的应用足够了。如果需要的话,用户可以替换一个新的分析器模板文件。
根据命令行参数,Lemon会产生下面文件中的一个到三个:
分析器的C语言代码;
一个头文件,为每个终结符定义了一个整型ID;
描述产生的语法分析器的状态的信息文件。
默认情况下,上面的三个文件都会产生。如果使用了“-m”选项,则不会产生头文件;如果使用“-q”选项,信息文件则不会产生。
语法规范文件是一个以“.y”为后缀的文件。在文档的例子中,设定规范文件的名称是“gram.y”。典型的使用方式是:
上面的命令会产生“gram.c”、“gram.h”、“gram.out”三个文件。第一个就是语法分析器,第二个就是为所有的终结符定义了数值的头文件,最后一个是分析器使用的状态自动机的说明。
完整的源代码包含在两个文件中,lemon.c本身就是产生器本身。一个单独的文件lempar.c是lemon产生语法分析子程序需要的模板文件。也可获取lemon的有关文档。
一个如何使用Lemon的例子,可以参见SQLite数据库引擎。lemon作为SQLite项目的一部分维护。
关于lemon的一个指南:http://souptonuts.sourceforge.net/readme_lemon_tutorial.html
最后
以上就是欢喜大门为你收集整理的lemon语法分析生成器的全部内容,希望文章能够帮你解决lemon语法分析生成器所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。
发表评论 取消回复