关于正则语言的泵引理

通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用，本文介绍几个广义的泵引理，它们不仅可解决通常的引理所能解决的问题，也可解决通常泵引理不能解决的问题。     

基于量子逻辑的l-值正则语言的广义泵引理

给出了三个l-值正则语言的广义泵引理,是文献[5]中泵引理的推广,可以解决更广泛的l-值正则语言的判定问题.     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

模糊上下文无关树文法

定义了模糊上下文无关树文法(PCFTG)，讨论了其构造性质，给出其分解定理及表现定理，进而讨论了由模糊上下文无关树文法生成的语言IO(Inside-out)，模糊IO树语言的封闭性．     

应用模块法杂凑语言的上下文无关文法

编译程序的编制过程中,人们首先接触是语言,而上下文无关文法是作为程序设计语言重要的语法描述工具。因此,只有将语言用上下文无关文法表示才能使用现有的技术,从而用计算机自动实现。通过应用模块法将语言进行模块化划分,并在模块内实现杂凑,能够成功地、方便地实现语言到上下文无关文法的转换。     

ω—DYCK语言定理

本文证明了每一个ω-CFL都可表示为一个ω-DYCK语言与一ω-正规集之交的一个同态。     

Fuzzy下推自动机与Fuzzy上下文无关语言的关系

在文献基础上,讨论了Ｆｕｚｚｙ下推自动机按两种不同方式所接受的语言类的等价性,进而研究了Ｆｕｚｚｙ下推自动机所产生的语言与Ｆｕｚｚｙ上下文无关语言的等价关系,并提供由Ｆｕｚｚｙ下推自动机构造Ｆｕｚｚｙ上下文无关文法的方法。     

改进的上下文无关文法及其语法分析

针对一些语言的实际应用情况,对标准的上下文无关文法作了改进,将标准的上下文无关文法定义中的非终结符集合和终结符集合进行细化,使得单词推导和句子推导可以使用同一个过程,即词法分析和语法分析可以在同一个语法分析过程完成.还给出了改进后文法的分析算法及算法的时间复杂度分析,证明用这种改进的方法进行语言文法定义更直观、简洁,其分析算法的时间复杂度优于标准上下文无关文法的分析算法.     

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

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

改进的上下文无关文法及其语法分析

针对一些语言的实际应用情况，对标准的上下文无关文法作了改进，将标准的上下文无关文法定义中的非终结符集合和终结符集合进行细化，使得单词推导和句子推导可以使用同一个过程，即词法分析和语法分析可以在同一个语法分析过程完成．还给出了改进后文法的分析算法及算法的时间复杂度分析，证明用这种改进的方法进行语言文法定义更直观、简洁。其分析算法的时间复杂度优于标准上下文无关文法的分析算法．     

Fuzzy上下文无关语言的运算封闭性

讨论了Ｆｕｚｙ上下文无关语言的并、链接、闭包和置换运算的封闭性质     

伪核逆的广义Cline公式和广义Jacobson引理

在?-环中,我们研究了伪核逆的广义Cline公式和广义Jacobson引理.讨论了在dbd=acd,bdb=bac条件或dbd=acd,aca=dba条件下,当1-ac(或ac)有伪核逆时,1-bd(或bd)有伪核逆的等价条件.进一步地,通过1-ac(或ac)的伪核逆给出了1-bd(或bd)的伪核逆的表达式.     

广义序同态与粘接引理

利用完全分配格的有关结论,讨论了Lx中L—fuzzy集的既约分解及广义序同态的逆的构造,由此证明:对保承集的广义序同态来说,粘接引理在不分明拓扑空间中也成立。     

基于广义 Gronwall-Bellman 引理的小型涡扇发动机过渡态控制

针对航空发动机强非线性的特点,将非线性控制理论应用于小型涡扇发动机过渡态控制。基于非线性模型,应用广义Gronwall-Bellman引理设计给定转速跟踪器,该过渡态控制器可在一定范围的转速切换指令下,通过对控制器参数的选取来调节跟踪误差范数边界,使得闭环系统以指数收敛到新平衡状态。应用Lyapunov稳定性定理对该控制器的性能进行验证,在理论上证明了该非线性设计方法的有效性;并以DGEN380发动机为仿真研究对象,对上述控制器进行数值仿真。仿真结果表明设计的发动机过渡态转速跟踪器能满足航空发动机控制系统的动态性能指标,实现了基于非线性模型的简单加速控制,仿真结果验证了该设计方法的有效性。     

局部凸拓扑线性空间中的广义Farkas引理

在局部凸拓扑线性空间中证明了广义Farkas引理,所得到的结果推广已知结果到更一般的空间,而且所用证明方法也更为简洁.同时也给出了广义Farkas引理在必要最优性条件中的应用.     

广义形式语言及其拓扑

在泛系理论的框架下,引入广义形式语言——泛语及其文法——泛系文法。通常,文法与它所产生的语言仅仅是松驰地联系在一起,为此需要定义一些考虑到生成过程的结构的文法等价概念,而拓扑的观点正好提供了比较文法与语言的一种可能性。本文详细地讨论了引入泛语上的拓扑途径。     

应用傅里叶级数展开定理证明推广的黎曼—勒贝格引理

考虑推广的黎曼—勒贝格引理的证明方法问题,利用傅里叶级数收敛定理的结果,给出了新的证法过程.