脚本语言词法分析器的状态转移图构造.pdfVIP

型查量直旦鲨坌堑登丝丛查整整笪丝垄 2箜 脚本诰百词法分机器的状态转移图构造木 韩江洪张亚琼魏正佳 合肥J：业人学计算机与信息学院，安徽合肥230009 ’摘要：脚本语言词法、‘语法规则简单，具有明确的界定符，为了简化其词法语法分析过程，提出 了一种基于状态转移的词法分析方法。该方法根据脚本语言的界定符的合法顺序设计状态转移图，通 过前项查看一个字符实现状态跳转，一遍扫描完成词法分析。在研究和建立逻辑规则描述语言的基础 上，综合分析其文法特征，根据界定符的FOLLOW集设计其词法分析的状态转换图．此方法结构清 晰，易编程实现，已实际应用于工程开发中，取得了良好的效果． ．关键词：状态转移图词法分析逻辑规则描述语言 编译器是将某种语言翻译成与之等价的另一种语言形式的j[具，在信息处理、语言翻译等领域具有广 泛的应用。词法、语法分析是编译器设计的重点，如何设计灵活的词／语法分析器对编译器可维护性、可实 现性都具有重要的意义【l】。词法分析器的功能是识别语言的最小单位——单词，程序设计语言(如C、Java) 的词法一般采用3型文法和止规表达式，并通过有穷自动机识别单词。而脚本语言(如XML、Hn札)由 标记符和字符数据组成，标记的界限符都是确定的，故也称为标记语言口训。脚本语言使用标签tag和属 性值“name：value”的形式描述信息，没有复杂的语法和包罗万象的数据定义。所以，针对脚本语言的词法和 语法特点，以标记符的有效匹配顺序为出发点，设计实现其词／语法分析的状态转换图，可有效降低词法分 析自动机的规模和程序实现的复杂性。 rule 逻辑规则描述语言【5】(LRDL：logicdescriptionlanguage)是一种对离散控制系统的逻辑关系的规范 化描述方法，具有脚本语言界定符明确的特点。它通过冈子、规则式等符号化的形式描述系统层次间的逻 辑关系，形成描述文档，并利用编泽器将该描述源程序编码、下载到嵌入式设备中，在虚拟机的支持下运 ‘ 行【61。编译器的设计在整个系统的实现中具有重要的作用。 1 LRDL词／语法特征、 LRDL语言由单词和标记符构成。通过这些单词组合成为冈子、规则式等表达式和语句。LRDL中的 单词分为两大类：语法分界符和系统实体标识符。语法分界符为“【”、‘‘】，’、‘‘．”、“一”、“”、‘‘”、“＆”等形 式，是构成因子和规则式的基本符号：系统实体标识符由系统词典提供川。 1．1LRDL的文法特征 ， ·， Form)，其扩展形 上下文无关文法是常用的一种语法表示方法，也称为巴克斯范式BNF(Backus—Naur ‘基金项目I教育部博士点基金(20050359004)· 女，河南郑州人，硕士研究生，主要研究方向：计算机网络控制；魏正佳(1982．)，男，浙江瑞安人，硕士研究生，主要研 究方向：计算机网络控制。 2竖 l±复堑l垫查!i!：!旦丝壁：2QQ2 成组规则(G-role)、单条规则(S—rule)、因子(Gene)等，其扩展巴克斯范式描述如下： Pro：：=(注释)fLang}+(注释) Lang：：=G-ruleIS—rule 迮接词 示例 含义 A：：= G．rule：：=组开始标记IS—rulel+组结束语句 A定义为B，即A由B 组开始标记：：=@ B 构造 S．rule：：=左件==右件：