编译实验教学之LR(0)分析表的分析与构造

编译原理是计算机学科的核心课程,实验教学对学生学习该课程具有相当重要的作用。LR(0)分析表是LR(0)分析器的主要组成部分之一,是建立其他LR分析的基础。本文首先对LR(0)的理论基础进行阐述,然后,着重讨论LR(0)项目集族和LR(0)分析表的构造方法,最后,对实现构造LR(0)分析表的C++语言程序进行分析。     

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

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

S-点集族的点集运算封闭性质

为了进一步扩展S-点集及S-点集族性质,采用理论推演方法,由S-点集族的等价定义出发,引入S-点集族表述法、S-点集之间的相互关系,进一步讨论了S-点集族的8个性质,得到S-点集族的点集运算封闭性质,从而建立了点集族实际应用的理论基础。     

有限集合上封闭集族的计数

设集合X={a1,a2,a3,…,an},f(n,m)表示X的含m个元素的不同封闭集族的数目。证明了f(n,m)={3n-2n,m=2;4n-2.3n+2n,m=3;5n-25.4n+2.3n-2n-1,m=4;6n-3.5n+3.4n-3n,m=5其中n=1,2,3,…。     

完全覆盖与局部可加集族的一点注记

本文给出下列两引理等价性的证明。引理１如果是［ａ，ｂ］的闭子区问组成的局部的、可加的集族，则［ａ，ｂ］属于。引理２若是［ａ，ｂ］的一个完全覆盖，则包含了［ａ，ｂ］的一个分割。     

遗传闭包保持集族的若干研究方向

本文综述作者近年来关于遗传闭包保持集族的研究结果,主要探讨在造当的附加条件下σ-遗传闭包保持集族向σ-局部有限集族转化的问题。     

关于遗传闭包保持集族

本文首先讨论各种弱形式的遗传闭包保待集族的性质,然后研究各种具有σ-弱形式遗传闭包保持K-网的空间之间的关系。     

两个矩阵集族

引出两个新的矩阵集合概念，并讨论它们的一些代数性质     

点集拓扑学中集族运算的一个问题

运用数理逻辑的方法,对点集拓扑学中集族运算的两个结果∪γ∈ф Aγ=ф和∩γ∈ф Aγ=X进行了证明.澄清了一些错误认识,获得了较好的结果.     

紧有限集族与 映像

利用弱开msk-映射刻画了度量空间,得到了X具有σ-紧有限弱基当且仅当X是度量空间的弱开msk-映射等结论,这些是对Alexandroff问题的部分回答.     

Auto－DB的编译器的原理

程序方式是自动编程数据库管理系统ＡＵｔｏ－ＤＢ提供的最重要的运行方式Ａｕｔｏ－ＤＢ的编译器是一种解释性编译程序，它的任务是将用户提供的非程序信息，编译成目标程序．它具有小型、简捷、结构化等特点，本文以查询操作为例介绍了Ａｕｔｏ—ＤＢ的编译原理．     

即时编译器辅助垃圾收集中的对象生命期分析研究

提出一种对象生命期分析算法,利用即时编译器分析应用程序并在其中安插显式释放对象等指令,通过辅助垃圾收集器改进对象的回收与分配来减轻垃圾收集器自动回收的负担.该算法结合了活跃变量分析和指针逃逸分析,对Java程序的每个方法仅分析一次,而且是过程间的,对域、上下文是敏感的,能够分析识别应用程序中的非全局对象及其死亡位置.实验结果表明:算法的执行时间占总编译时间的3.6%~5.3%;相比一般的Salagnac等指针逃逸分析,能识别出更多的对象生命期信息,而且对象死亡位置能精确到Java方法控制流图中的基本块;在即时编译器辅助的垃圾收集优化中能够显式地回收较多的内存空间.     

编译原理课程教学中计算思维能力的培养方法

针对编译原理课程的教学目标及该门课程教学中普遍存在的问题,从选择合适的方式陈述问题、模块化方法、等价转化方法、形式化方法等计算思维方法探讨如何运用计算思维提高编译原理课程教学质量及如何在教学中培养学生的计算思维能力。     

概念图在《编译原理》课程中的应用

用概念图来描述<编译原理>课程的主要内容及其内在联系,它缩短了学生认识教材的过程,使学生对该门课程的知识结构有一个直观的了解和系统的认识,有助于增强记忆和巩固知识,加深对各知识点的理解和应用,提高学习效率.     

浅论高校图书馆优化馆藏的基本原则

在知识经济和素质教育的背景下,高校图书馆优化馆藏应遵循三个基本原则:普及性与专业性相统一的原则,基础性与实用性相统一的原则,强调创新引导实践的原则。     

论地方高校图书馆藏书建设应遵循的四原则

在当今素质教育和知识经济的时代背景下,地方性高校图书馆馆藏应遵循实用性和目的性相统一、普及性与专业性相统一、创新性与时代性相统一、地方性与系统性相结合的四原则。     

HPF编译器研究中的相关分析

相关分析是ＨＰＦ编译器中不可缺少的部分,本主要讨论相关分析的原因和必要性,提出了静态相关检测的方法及运行支持时刻的动态相关检测算法,并对性能与代价进行了分析。     

高校图书馆保持藏书建设先进性的五条原则

先进文化是人类文明进步的结晶,是推动生产力发展和社会全面进步的思想保证、精神动力和智力支持。论述了高校图书馆加强与改进藏书建设以确保其先进性应遵循的五条原则。     

计算学科方法论在“编译原理”教学实践中的探讨

针对当前许多高校"编译原理"教学效果不理想的现状,采用学科方法论这一现代教育思想的内核,提出将计算学科方法论与"编译原理"教学实践相结合,从宏观和微观2个方面充分挖掘计算学科方法论对"编译原理"教学的具体指导作用,取得了良好的教学效果.     

《编译原理》“三段式”教学法

本文着重就《编译原理》课程的教学进行了探讨,重点提出了“三段式”教学法。