编译器前端构造工具及JLUCC的实现

针对多种典型的编译器构造工具存在对文法有限制、嵌入式语义动作有负面影响,目标语言单一和调试维护困难等一些问题,设计并实现了一种新的编译器构造工具--JLUCC(Jilin University Compiler Compil-er).JLUCC使用Earley分析方法,结合反射、面向对象和设计模式等技术,具有词法分析器、语法分析器、抽象语法树和遍历工具等编译器模块的自动生成功能,可以支持任意上下文无关文法、多遍处理和对目标语言的扩展.其功能强大、使用方便、便于维护和扩展,具有广阔的应用前景.展望了未来编译器构造工具的发展趋势.     

语法分析器的增量式生成技术

提出了一种语法分析器的增量式生成技术，该技术适用于自顶向下的语法分析方法：ＬＬ（１）方法和递归下降法，利用该技术，可以增量式生成语法分析器，从而提高语法分析器的生成效率。在微机上建立了一个语法分析器的增量式生成器。     

高级语言分析器的设计

该文论述了一个基于ＬＬ（１）分析思想的高级语言分析器的设计原理。主要利用软件的可重用性来提高开发语言处理程序的效率。     

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

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

具有唯一定长路的有向图的一个注记

Ｌａｍ和ｖａｎ Ｌｉｎｔ构造了一类具有唯一定长路的有向图Ｄ（ｃ，ｋ），其阶为ｎ＝ｃ＾ｋ＋１，并证明Ｄ（ｃ，ｋ）的自同群包含一个２（ｃ＋１）阶二面体群，其中ｃ为大于１的整数，ｋ为大于１的奇数。本文利用（０，１）矩阵方程的性质证明，对任意的整数ｃ＞１和奇数ｋ＞１，存在ψ（ｋ）（ψ为Ｅｕｌｅｒ函数）个ｎ＝Ｃ＾ｋ＋１阶具有唯一定长路的有路的有向图；它们互不同构且其中每一个图的全自同构群都是２（Ｃ＋１）阶二     

基于LL(1)文法的印刷体数学公式结构分析方法

当前的OCR（optical character recognition）系统对手写、打印文本都有很高的识别率，但是缺少对数学公式的结构进行分析及重组的功能．为此，将程序设计语言编译程序的基本设计方法用于数学公式的结构分析．重点介绍了上下标的定位、基于LL（1）文法的表达式构成规则和公式结构分析嚣的设计。并筒略介绍了基于神经网络的数学符号识别方法．对于印刷体科学文献中的数学表达式，先通过预处理和分类过程识别每一个数学符号，得到按左边界排序的一串字符．然后通过结构分析器，进行上下标的定位以及前后关系的确定．最后把结构分析器生成的语法树转换成可编辑的LaTex格式．实例证明得到了比较满意的结果．     

CVD 矩阵与 n-宽度的(p,q)问题

证明了ｄ２ｋ＝δ２ｋ＝ｄ２ｋ≥ｂ２ｋ，其中ｄ２ｋ、δ２ｋ、ｂ２ｋ分别表示Ａ（ＢＭｐ）在ｌＮｇ中的ｋｏｌｍｏｇｒｏｖ、线性、Ｂｅｒｎｓｔｅｉｎ型２ｋ－宽度，ｄ２ｋ表示ＡＴ（ＢｌＮｑ′）在ｌＭｐ′中Ｇｅｌ′ｆａｎｄ型２ｋ－宽度，这里Ａ（ＢＭｐ）＝｛Ａｘ：ｘ∈ＡｌＭｐ，‖ｘ‖ｐ≤１｝，其中Ａ是一个Ｎ×Ｍ的ＣＶＤ矩陈（Ｎ＞Ｍ＝ｒａｎｋＡ，Ｍ是奇数），１ｐ＋１ｐ′＝１，１ｑ＋１ｑ′＝１（１≤ｑ≤ｐ＜＋∞，ｐ≠１）．     

C2j+1∪C2k类与Pk n类调和图

证明了Ｓｅｏｕｄ等当ｋ≥３时Ｃ３与Ｃ２ｋ的不相交并Ｃ３∪Ｃ２ｋ为调和图的猜想,并扩展该结果,证明了Ｃ５∪Ｃ２ｋ（ｋ≥２）是调和图;给出猜想Ｃ２ｊ＋１∪Ｃ２ｋ（ｊ≥１,ｋ≥２且（ｊ,ｋ）≠（１,２）是调和图。证明了幂图Ｐ＾４ｎ（８≤ｎ≤１７）与Ｐ＾５ｎ（１４≤ｎ≤１７）是调和图,否定了Ｓｅｏｕｄ等关于当且仅当１≤ｋ≤３时Ｐ＾ｋｎ（１≤ｋ≤ｎ－１）是调和图的猜想。给出了相反的猜想：当ｎ≤ｎ０（ｋ）时Ｐ     

正则图分解成重星的一个充分条件

用ｇ（Ｇ）表示图Ｇ的围长。Ｓ（ｋ＿１，ｋ＿２）表示两个非１度顶点分别为ｋ＿１，ｋ＿２的重星。在［２］中证明了：（２ｋ＋１）─正则图Ｇ是Ｓ（ｋ＋１，ｋ＋１）─可分解的充分必要条件是图Ｇ含有１─因子。本文证明的主要结果是：１）设图Ｇ是ｒ（２ｋ＋１）─正则图（ｒ≥２）且ｇ（Ｃ）≥４，如果Ｇ含有ｒ─因子，则图Ｇ是Ｓ（ｋ＋１，ｋ＋１）─可分解的。２）设ｑ＝｜Ｅ（Ｓ（ｋ，ｋ））｜，如果，ｎ＝１（ｍｏｄ２ｑ），则完全图Ｋ＿ｎ是Ｓ（ｋ，ｋ）─可分解的。     

简单连通图的k阶幂图的指数集(英文)

设Ｇ 是一个ｎ 阶简单连通图,ｋ≥２ 是一个整数．Ｇ 的ｋ 阶幂图记作Ｇｋ ,定义为：Ｖ（ Ｇｋ） ＝ Ｖ（ Ｇ） 且对任意ｕ ,ｖ∈Ｖ（ Ｇｋ） （ ｕ≠ｖ） ,（ ｕ ,ｖ） ∈Ｅ（ Ｇｋ） 当且仅当ｄＧ（ ｕ ,ｖ） ≤ｋ ,则对任意的ｋ≥２ ,Ｇｋ 本原．令Ｅ（ｋ,ｎ） ＝ ｛ γ（ Ｇｋ）｜ Ｇ 是ｎ阶简单连通图｝ ,可以得到Ｅ（ｋ ,ｎ） ＝ｄｋ ｋ＋ １ ≤ｄ ≤ｎ － １ ,　　若２ ≤ｋ≤ｎ － ２ ,｛２｝ ,　　　　　　　　　　　　若ｋ≥ｎ － １ ．     

基于状态转换图的LL语法快速分析方法

有向路径分析法是在预测分析法的基础上利用状态转换图思想设计的;由于去掉了预测分析法中的许多中间产生式匹配,因此该方法具有较高的语法分析效率,实验表明分析效率较预测分析法提高约2倍以上.文中阐述了LL(1)文法、预测分析法、有向路径分析法的定义、原理和设计步骤,并给出了事例和实验加以说明和验证.     

基于多线程LL(1)分析表自动生成的并行算法

为解决编译系统工作中由于文法非终结符数量庞大造成的生成LL(1)分析表速度缓慢的问题,描述了多处理机环境下的LL(1)分析表自动生成的一种并行处理方法,并讨论了LL(1)分析表生成的并行算法的设计思想和实现策略。在采用LL(1)方法实现自顶向下语法分析的并行编译中,LL(1)分析表的生成一直处于关键地位,由于文法中的终结符和非终结符个数很多,分析表的构造成为提高语法分析速度的瓶颈问题,因此考虑采用LL(1)分析表的并行生成。算法采用多线程的工作模式,并借助于线程间的通讯机制实现,此并行处理方法对编译的并行处理和提高效率有理论和现实意义。     

L属性文法属性求值器的自动生成技术

提出一种L属性文法LL（1）属性求值器的自动生成技术.该技术充分利用L属性文法和LL（1）分析方法的特点,节省了属性求值器的存储空间,扩展了语义规则的描述能力．且实现了一本基于该技术的属性求值器自动生成系统．     

LL^＊积分

In this paper, we give a definition of the LL * integral. The LL* integral contains R integral、L integral and LL integral .     

基于数据库的通用预测分析法的设计与实现

简要叙述了预测分析法的基本原理,并阐述如何利用数据库存储预测分析表,使得用户可以通过web界面输入任何文法的LL(1)分析表,并保存在数据库中。通过统一的预测分析程序对句子进行解析,从而完成语法分析工作。     

LR（1）语法分析的自动构造

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

HTTPS通信流截获解析系统的设计与实现

针对安全传输协议中存在的如SSL和TLS虽然可以保障通信内容的机密性,但无法完全隐藏传输数据长度、通信的持续时间以及通信的频度等信息的问题,提出一种新的方法,即利用HTTPS通信流报文的首部信息,解析并重构出与用户浏览序列对应的页面"指纹"序列;在分析SSL和HTTP通信行为的基础上,给出了基于最大包长度以及时间阈值对HTTPS通信流报文进行解析重组获取页面"指纹"序列的"指纹"序列抽取算法.在此基础上,对HTTPS通信流截获解析系统即HTCPS进行总体设计.实验结果表明,该方法不但能够时HTTPS通信流进行解析,并且能重构出页面"指纹"序列.     

LR(k)语法分析的BMP优化算法

本文给出了适用于一般LR(k)文法的BMP优化算法。该算法在分析能力上和正规分析算法等价,但可节省存储空间,并以正规分析算法和LALR(k)分析算法作为两个特例。     

对形如(n~2+ln+k)~(1/2)的十分位问题的讨论

对于实数x,设d(x)是x的十进制表示中的十分位数。对正整数l和k的形如(n2+ln+k(l,n))~(1/2)=1取值进行研究,用初等方法,完整的讨论了取1,2,…,9时的可能性,及对应的n的范围。     

关于LL积分的两个定理

本文通过两个引理,给出了有界可测集E上的a.e.有限的可测函数LL可积的一个充分条件和一个必要条件。