LR语法分析器的可视化交互式动态仿真

LR分析器及其语法制导的翻译方法是编译原理课程教学中的重要内容,其分析器的内部结构复杂,工作原理很难被学生直观地理解和掌握。描述一个在Windows平台上独立开发的可视化、交互式的LR分析器动态仿真软件工具。该工具的新颖之处在于它实现了众多高层概念的可视化,支持LR分析器的单步执行和仿真,并允许为产生式附加断点,特别是允许断点插入在产生式右部的任意文法位置。此工具已应用于编译原理的课程教学,亦可用于开发、编写和调试以YACC为代表的LALR(1)分析器生成系统的输入文法规约。

LR语法分析器的自动构造

本文讨论了编译程序的LR语法分析器的自动构造，论文中的相关软件除可用于教学演示外，还可用于实际编译程序LR语法分析器的自动构造。

应用概率LR文法分析器于语音识别系统

将概率ＬＲ文法分析器应用于语音识别系统中．模拟实验表明，系统使用该模型后识别性能优于使用二元文法模型的系统．其中。

LR语法分析器的自动构造

语法分析器是对单词符号串进行语法分析得出相应的语法单位,在编译过程中占有很重要的地位。本文介绍了LR分析器的四种不同LR分析表的构造方法,重点阐述了语法分析器的一种自动生成技术和实现过程,该算法可判定输入串是否为给定文法G的合法句子,若是,则输出自下而上的分析过程。

基于状态回朔技术的规范LR分析算法

LR分析技术以其自身的优点在实际当中有着非常广泛的应用,但是,能够识别LR(1)语言的规范LR分析器由于其下推自动机的复杂性,其实用性受到比较大的限制。通过回朔下推自动机的状态迁移路径能够从根本上解决这一问题。主要讨论了基于状态回朔技术的规范型LR分析器的基本原理与构造技术。

几种不同LR分析表构造方法的分析和比较

本文对实现ＬＲ分析器的四种不同ＬＲ分析表的构造方法进行了分析和比较， 对深入了解语法分析程序的自动构造具有一定的意义。

在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程

Jourdan等在其2012年发表的论文“Validating LR(1)Parsers”中提出了一种形式化验证语法分析器的方法,并将其成功地应用于CompCert编译器(2.3以上版本)的语法分析器验证中。借助这种方法,文中完成了L2C项目中的Lustre*语言语法分析器的形式化验证,实现了开源L2C编译器前端语法分析器的两个选项之一。首先对这一语法分析器的实现进行了论述,其中包括有参考价值的技术细节;随后分析了该语法分析器的运行性能及正确性;最后对如何将这一方法推广至更一般的应用场景进行了总结。

LR(1)语法分析的自动构造

讨论了LR(1)语法分析器的自动构造,可判定给定的文法是否为LR(1)文法。若是,则自动生成给定文法的LR(1)分析表,并对任一输入串进行分析,判断其是否为给定文法的句子。论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的LR语法分析器的自动构造。

一个改进的LR(1)分析表及其构造算法

LR(1)分析表是LR(1)分析器的核心。改进了传统的LR(1)分析表 ,提出了新的构造算法。该算法利用LR(1)基本集代替LR(1)项集 ,对于归约状态直接标注归约转移后的状态编号。该分析表不含GOTO表 ,基于它的LR(1)语法分析过程一般不需要后入先出栈的辅助。