相容形式语言文法对某些运算的封闭性

(一)引言在T.L.Booth和R.A.Thompson的文章[1]中,他们提出了相容文法、强相容文法以及一些有关的概念。在本文中以文章[1]为基础,进而讨论相容文法类和强相容文法类对运算:和、连结、闭包、逆的封闭性,以及相容文法对相容置换的封闭性。并且附带讨论到强相容文法的“ε”——表示的一个性质。这些讨论都假定读者对自动机和形式语言和概率论的基础知识已经具备。例如象书[2][3]中所介绍的那些基本内容。     

随机正则文法的相似

对于给定的随机正则文法G_8是否存在着一个真正随机正则文法G_8,使得L(G_8)=L(G_8),若存在,又如何求出G_8?本文在两个不同的但都不是十分严格的限制下,证明了Thompson方法是有效的,它不仅提供了一个从G_8求G_(?)的方法,而且还包括判断这样的G_8是否存在的判别准则,在此基础上,本文将随机文法等价的概念推广,提出了随机文法相似的概念,并证明了在受到上述相同限制的前提下,每一个随机正则文法G_8总有一个与之相似的真正随机正则文法G_8,其中相似系数由G_8本身唯一决定。     

复杂对象标识文法及演算

面向对象数据库及其信息系统研究的难点之一是缺乏形式化的概念和理论基础。根据复杂对象数据表示的常用结构,本文提出了用标识文法来表示复杂对象及其数据。给出了相应文法与对象的部分演算规则。引入标识文法有利于实际系统的计算机表示对象     

基于LL(1)分析表的布尔文法语法分析算法

布尔文法是针对特定的形式语言提出的一种新的描述形式,文法以上下文无关文法为基础,在形式规则中加入集合论的相关运算。传统的LL算法只能处理上下文无关文法,通过对布尔文法深入的分析,提出了一种基于LL(1)分析表的布尔文法的语法分析算法。通过实例详细描述了算法处理的过程,验证算法的可行性和正确性。     

LL(1)文法及其分析程序

一、引对程序设计语言进行正确的语法分析是编译程序的核心问题之一。虽然.语法分析的方法多种多样,但概括起来就是两大类:一类是由顶向下的语法分析方法;一类是由底向上的语法分析方法。这里要介绍的LL(1)分析方法就是一种确定型的由顶向下的语法分析方法。这种方法是由Foster发现的,后来Knuth给出了一个理论的论述[1][2][3]。为简单起见,假定读者已具备形式语法的基本知识。在以下的讨论中还假定文法中不包含无用的规则,这样的文法称为是压缩过的。     

用标识文法并行处理复杂对象

本文依据复杂对象的内部状态,用标识文法表示其结构,将形式语言的概念和对象层次结构联系起来;阐述复杂对象权的概念以及对象和标识文法之间的等价关系,讨论了关于对象演算的并行处理,给出了在特定并行环境下,顺序执行与并行执行的复杂性;在构造对象公式和相关文法形式模型的基础上,研究了非常复杂对象(如对象数据库)的操作和准则。     

一种基于符号形式文法的三维建模方法

在虚拟场景中模型数量激增的情况下,现有建模技术的生产代价随之大幅上升。基于符号形式文法的三维建模是一种新颖的建模方法,该方法从现实世界抽象出模型的文法产生式规则,通过产生式规则的叠加演算,提供一种从基础几何形状迭代生成目标模型的过程。实现产生式规则的模型生成器允许用户采用CGA脚本描述规则,脚本为输入,三维模型为输出。实验证明:基于该方法的模型生成器其输出具有较高质量可视化效果和模型细节,其实现原理有利于模型的重用与重构;在批量三维场景建模场合,该方法有较高生产效率。     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.     

一些算子空间的几乎等距算子和等距算子

本文证明了,对于空间B(c_0→l~∞)和B(c→l~∞)中的任意ε—等距算子T(0<ε<1/3),均有在相应空间中的等距算子U,使得‖T-U‖≤4ε。另外,本文还找出了B(l~p→l~∞)(1≤p<∞)和B(l~p→l~p)(0相似文献   

基于Earley算法的关联文法语法分析的并行处理

关联文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算。该文法比上下文无关文法具有更强的生成能力。通过对该文法深入的分析,提出了一种在并行环境下基于Earley算法的语法分析和识别算法。通过实例描述了算法并行处理的过程,验证算法的可行性和正确性。     

Pr~(3+),Nd~(3+),Eu~(3+)-pmbp配合物及其刘易斯碱三元配合物的超灵敏跃迁现象的研究

研究了Pr~(3+),Nd~(3+),Eu~(3+)-pmbp配合物LnA_3及其刘易斯碱三元配合物LnA_3·tbpo,LnA_3·Phen(A=pmbp~-,Ln=Pr~(3+),Nd~(3+),Eu~(3+))在乙醇、丙酮和苯中的超灵敏跃迁现象,发现Nd~(3+)的~4I_(9/2)→G_(7/2),~4G_(9/2)和~4I_(9/2)→~2G_(7/2)+~4G(5/2)跃迁;Pr(3+)的~3H_4→~1D_2,~3H_4→~3P_0和~3H_4→~3P_1+~1I_6跃迁以及Eu~(3+)的~7F_0→~5D_2跃迁具有超灵敏性.由实验数据计算了Nd(3+)配合物超灵敏跃迁光吸收振子强度值及其增大值,初步讨论了有关规律性.     

W-Gorenstein平坦模类的稳定性

设W是一包含所有内射模的模类.定义了M-型模,在W-GF闭环上证明了任意给定的W-Gorenstein平坦模的正合序列G=...→G_2→d_2G_1→d_1G_0→d_0G_(-1)→d_(-1)G_(-2)→d_(-2)...,若对任意E∈W,复形E_RG正合,则对任意i∈?,模Im(d_i)是W-Gorenstein平坦模.     

由语言自动构造文法的递推描述算法

通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性．该算法根据具有无穷句子的语言L,首先写出由L中基本符号组成的初值集ΣG,再确定体现规则式右部符号串形式,并由L中基本符号和（或）文法符号组成的递推性质的描述f（）,在ΣG和,（）的基础上,经有限次逐步递推得到一系列规则式,消除冗余规则式后的结果即为符合该语言的文法的规则式．实例表明：若能确定f（）,可得到文法的所有规则式．     

(ε)—G_0~+范空间中的线性算子及其对概率赋范空间的应用

本文首先改进(ε)—G_0~+范数的定义,同时证明[1]中的相应结果仍然成立,有趣的是,改进后的新(ε)—G_0~+范查间更为广泛,足以包括一般的概率赋范空间,这就为后者的研究提出了新的可能性。最一般的概率赋范空间中线性算子的有界与连续性的等价问题在本文中得到了理想的处理,我们推广了[3]中结果。事实上我们在此完全解决了上述问题。     

一般上下文无关文法的一个分析算法

本文给出一般上下文无关文法的一个分析算法。该算法可以看成是LR分析算法的推广,它既是自底向上,又是从左到右。理论分析表明本算法对一般文法具有时间界O(n~3)这里n是输入句子的长度);对有界歧义文法时间界为O(n~2),而对LR文法时间界为O(n)。由于本算法是先将文法转换成分析表,然后用分析表来指导对句子的分析。因而在实际应用中本算法一般要比Earley算法快,另外本算法输出中包含输入句子的所有可能的分析,并且仅需一简单枚举就可从此输出中找出句子的一个分析。     

连接文法在并行环境下的语法分析和识别

连接文法是上下文无关文法的扩展,是在形式规则中加入集合的交运算.连接文法比上下文无关文法具有更强的生成能力.通过对连接文法深入的分析,提出了一种在并行环境下的语法分析和识别算法,算法事实是以上下文无关文法并行识别算法为基础提出的.最后以实例详细描述了算法并行处理过程并验证其算法的可行性.     

对称单叶函数第四项系数的估计

本文得出了p次对称单叶函数: ■第四项系数的估计|a_(3p+1)~(p)|≤(4(A~2+BC)~(3/2))/(9(3)~(1/2)ACP~3)其中A=3P+2,B=P~2+3P+2,C=3P~2+3P+1,P≥2.(P是正整数)。     

对偶数环导出范畴的Recollements

设A,A_1和A_2是环.证明若环A的上有界导出范畴D~-(A)允许有关于环A_1和A_2的上有界导出范畴D~-(A_1)和D~-(A_2)的recollement,则A的对偶数环A[ε]的上有界导出范畴D~-(A[ε])允许有关于A_1的对偶数环的上有界导出范畴D~-(A_1[ε])和A_2的对偶数环的上有界导出范畴D~-(A_2[ε])的recollement.     

YAG:Fe2+自旋允许谱的研究

关于硅酸盐石榴石（YAG）中Fe^2＋离子的自旋允许谱始终存在着分歧.我们重新研究了这一课题,得出的谱带指定为7950cm^-1B3→A,5951cm^-1A→A,4400cm^-1B2→A,1332cm^-1 B1→A.计算结果与实验测得的谱带相符合,但其状态指定与前人均不相同.     

线性方程组的各类解与各类广义逆的行列式表示

一、引言本文采用的术语与记号基本上与[1]相同。对任意矩阵A∈C~(m×n),x∈C~m,我们用A(j→x)表示把A的第j列换以x所得到的矩阵。1970年,S.Robinson给出了解线性方程组Ax=b (1)的Cramer规则的一个非常优美的证明。他将(1)改写成