LEMON语法分析在电气工程.嵌入式计算机数据库设计中应用.pdfVIP

LEMON 语法分析在嵌入式数据库设计中的应用 黄加喜，陈天煌，郑胜英，高庆锋 武汉理工大学计算机学院，湖北武汉(430063) E-mail：jiaxi@163.com 摘 要：LEMON 是一款用C 语言编写的LALR(1)类型语法分析器生成器，LEMON 的主要 功能是把由具有上下文无关的特殊语法写成一种语言文本，它短小精悍，功能齐全，非常适 合在嵌入式数据库设计中应用。本文主要讨论了如何在嵌入式数据库设计的语法分析过程中 使用LEMON。 关键词：嵌入式数据库；LEMON；LALR (1) 1. 引言 高效安全的SQL 编译器是一个优秀嵌入式数据库的核心和基础。SQL 作为关系数据库 语言的国际标准，得到广泛应用。但对于 SQL 这样复杂庞大的语法，在嵌入式数据库中为 之构建完善且可靠的语法分析器，具有一定的难度和工作量。语法分析方法可分为自底向上 和自顶向下两大类，LALR(1) (LookAhead_LR)方法是LR 方法的一种[1]，属于自底向上分析 类。由DeRemer 提出，它是介于SLR(1)和LR(1)之间的一种方法，具有SLR(1)状态少的优 点和LR(1) 的适用范围广的优点，主要思想来自这样一个事实： 1)LR(1)状态机从它们所表示的自动机角度看是等价的； 2) 自动机可通过合并等价状态来减少状态个数。 LALR(1)状态机通常采用LR(1)状态机来定义。假设[A -a.ß ]是LR(1)项目，则称其中 的LR(0)项目部分A-a.ß 为该项目的心。如果LR(1)状态机的两个状态心相同，则称它们为 同心状态。用Core(S)表示状态S 的心部分，SameCoreState(S)表示所有与S 同心的状态号集 合(包括S)，Merge(SS)表示同心状态集SS 中所有状态项目的合并。具体定义如下: Core(S)={ LR0item| [LR0item,a]IS } SameCoreState (S) ={ S’|Core(S’)=Core(S’) } Merge(SS)={LR1item| LR1item ∈S,S ∈SS} 构造出 LALR(1)状态机后，若 LRSM 的每个状态中都无相互冲突的项目，则文法为 LALR(1)文法，可以进行LALR(1)分析。 2. LEMON 简介 [2] LEMON 是一款用C 语言编写的LALR(1)类型语法分析器生成器 ，LEMON 的主要功 能是把由具有上下文无关的特殊语法写成一种语言文本，先进行符号分析、语法分析，再转 换成可直接对该语言进行编译的C 程序。 2.1 LEMON 的构成 LEMON 语法分析生成器工作时，需要两个输入文件： 1) 语法文件(.y) 。 2) 语法模版文件(leper.c) 。 LEMON 自己已经附带一个设计完备的语法模版文件(leper.c) 。所以使用LEMON 只需 要编写语法文件就可以生成LALR(1)语法分析程序。LEMON 工作原理： 1) 首先编写语法文件。根据具体要求，需要仔细推敲、仔细考虑用上下文无关文法写 成的语法文件，并且还附有当记号之间的关系符合其中某一巨型时如何进行处置的代码。 - 1 - 2) 调用LEMON 程序，读入此语法文件。可以自动生成语法分析程序。 3) 将此语法分析程序加入到具体代码中去。词法分析器将字符串分解成一个一个的单 词后，这些单词就会逐个送进语法分析器，语法分析器会按照语法文件中的约定，以句型作 为“对号入座” 的依据，进行正确的处理。图 1 给出了LEMON 的工作过程。 语法分析器 .C