LL语法分析器.pdf

《LL语法分析器.pdf》由会员分享，可在线阅读，更多相关《LL语法分析器.pdf（11页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、名师精编优秀资料LL(1)语法分析器实验报告书名师精编优秀资料目录第一章概 述. 31.1 开发平台 . 31.2 实验目的 . 31.3 实验要求 . 3第二章语法分析器的实现 . 32.1 LL(1)语法分析器原理. 32.2 求出能推出空的终结符. 42.3 FIRST集的确定 . 42.4 FOLLOW集的确定 . 42.5 SELECT 集的确定 . 42.6 LL(1)文法的判别 . 42.7 逻辑结构 . 42.8 预测分析表的生成. 52.9 句子的判定 . 52.10 其他说明 . 5第三章系统运行与测试 . 63.1 程序运行环境 . 63.2 运行界面 . 63.3 系统

2、测试 . 8第四章总述. 114.1 程序综述 . 114.2 小组工作总结 . 11名师精编优秀资料第一章概 述1.1 开发平台本程序基于 Microsoft Visual Studio 2008 开发,使用 C#语言。1.2 实验目的掌握 LL(1) 分析法的基本原理，掌握LL(1) 分析表的构造方法，掌握LL(1)驱动程序的构造方法。1.3 实验要求编写一个语法分析器，不限语言，方法。第二章语法分析器的实现2.1 LL(1) 语法分析器原理语法分析是编译过程的核心部分，它的主要任务是按照程序的语法规则，从由词法分析输出的源程序符号串中识别出各类语法成分，同时进行词法检查， 为语义分析和代

3、码生成作准备。这里采用自顶向下的LL(1) 分析方法。语法分析程序的流程图如图5-4 所示。名师精编优秀资料2.2 求出能推出空的终结符见许英俊报告2.3 FIRST 集的确定见邹杰光报告2.4 FOLLOW集的确定见张志峰报告2.5 SELECT集的确定见叶凯翔报告2.6 LL(1) 文法的判别见叶凯翔报告2.7 逻辑结构一个 LL(1) 分析器由一张分析表、一个分析栈和一个总控程序组成。其逻辑开始读入文法有效？判断句型报错结束语法分析程序流程图是 LL(1) 文法？名师精编优秀资料结构如图 2-1 所式。图 2-1 LL(1)分析器的逻辑结构2.8 预测分析表的生成见许英俊报告2.9 句子

4、的判定当一个文法确定是LL(1) 文法时就可以对输入的语句进行判定了。首先要安装 SELLECT 集生成 LL(1)预测分析表，最简单的方法是使用哈希表来表示，把每一个产生式左部依次和这个产生式SELLECT 集中的每一个终结符组成关键字，其值即为这个产生式， 送入哈希表。 这样在进行句子的分析时就可以很容易判断是否使用某一个产生式来进行规约。在实际分析时设置两个栈，把#压入分析栈和剩余栈， 把开始符压入分析栈， 把输入串从右向左送入剩余栈，然后只要两个栈元素个数同时大于1，那么依次从两个栈中取出两个元素进行比较，假如一样就匹配，假如可以规约就规约，否则就不是该文法的句子。2.10 其他说明本

5、程序使用 C#编写，有良好的用户界面，在程序当中，Work 类是程序工作类,分析与判断都在这里 .Form1 为图形界面类 ,有关图形界面的设置在这里. 总控程序分析表 M a1 a2a3aianX1Xn-1X1名师精编优秀资料第三章系统运行与测试3.1 程序运行环境2000 或 XP 系统，安装 .NetFrameWork 3.5 以上版本即可运行。需要调试程序请安装.NetFrameWork SDK 3.5 以上版本或直接安装Visual Studio 2008以上版本。3.2 运行界面程序打开后点确定规则后名师精编优秀资料点击分析栏名师精编优秀资料点分析按钮后3.3 系统测试3.31 测

6、试数据一点击文件菜单 ,选着打开文件 ,打开程序目录下yufa1.txt 文件,载入测试文法规则: 文法规则 (依次为非终结符 ,终结符 ,起始符 ,规则): SHMA abde S S-aH H-aMd H-d M-Ab M-$ 名师精编优秀资料A-aM A-e 点击确定规则 ,程序判断 : 判断出该规则是 LL(1) 文法规则 ,测试字符串 abddbe# aaaaebbbd#, 符合名师精编优秀资料测试 2：见图名师精编优秀资料第四章总述4.1 程序综述本程序可以很好的判断LL(1)文法与进行语法分析 ,拥有良好的界面,可以保存与打开文法 ,可以保存分析结果。分析过程提示清楚，方便。4.2 小组工作总结通过这个学期的学习, 我们小组对编译原理有了一定的了解, 熟悉了语法分析器与词法分析器的制作与使用, 了解了更多关于语言的知识. 温老师认真负责, 督促我们做好小组作业, 这极大提高了我们的动手能力. 本次语法分析器分工, 我负责统筹分工 , 总控程序 , 整合程序 , 编写图形界面 , 确定数据结构与模块 .邹杰光负责 FIRST集确定 , 张志峰负责 FOLLOW 集确定, 叶凯翔负责 select集确定于文法确定 , 许英俊负责能导出空的非终极符确定和预测分析表的生成。以上。