导读:本文包含了正则语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:正则,自动机,语言,文法,量子,自然语言,赋值。
正则语言论文文献综述
刘广灿,曹宇,许家铭,徐波[1]（2019）在《基于对抗正则化的自然语言推理》一文中研究指出目前自然语言推理(Natural language inference, NLI)模型存在严重依赖词信息进行推理的现象.虽然词相关的判别信息在推理中占有重要的地位,但是推理模型更应该去关注连续文本的内在含义和语言的表达,通过整体把握句子含义进行推理,而不是仅仅根据个别词之间的对立或相似关系进行浅层推理.另外,传统有监督学习方法使得模型过分依赖于训练集的语言先验,而缺乏对语言逻辑的理解.为了显式地强调句子序列编码学习的重要性,并降低语言偏置的影响,本文提出一种基于对抗正则化的自然语言推理方法.该方法首先引入一个基于词编码的推理模型,该模型以标准推理模型中的词编码作为输入,并且只有利用语言偏置才能推理成功;再通过两个模型间的对抗训练,避免标准推理模型过多依赖语言偏置.在SNLI和Breaking-NLI两个公开的标准数据集上进行实验,该方法在SNLI数据集已有的基于句子嵌入的推理模型中达到最佳性能,在测试集上取得了87.60%的准确率;并且在Breaking-NLI数据集上也取得了目前公开的最佳结果.(本文来源于《自动化学报》期刊2019年08期）
赵菲,李永明[2]（2016）在《取值于赋值幺半群的加权正则文法语言》一文中研究指出正则文法是研究自动机的重要工具。引入取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)的关系。证明了在赋值幺半群上,已知一个加权正则文法或加权类正则文法,分别存在一个WFA与之等价。定义了可分配的赋值幺半群,证明了在可分配的赋值幺半群上已知一个WFA,存在一个加权正则文法和加权类正则文法与之等价,即证明了可分配的赋值幺半群上加权正则文法、加权类正则文法和WFA在生成语言上等价,并举例说明了赋值幺半群的可分配性不是已知WFA存在与之等价的加权正则文法或加权类正则文法的必要条件。(本文来源于《计算机工程与科学》期刊2016年07期）
赵菲[3]（2016）在《取值于赋值幺半群的加权正则文法语言研究》一文中研究指出自动机理论是计算理论的数学模型,是可计算、算法描述和分析、计算复杂性理论等问题研究的基础.在自动机理论中,一个重要的研究课题是自动机与文法的等价性.在经典自动机理论中,确定型有穷自动机、非确定型有穷自动机与正则文法是等价的.加权有限自动机(WFA)是经典自动机的推广,是在非确定型有穷自动机的转移上附加上表示距离、费用、资源消耗等等的权重后形成的一类新的自动机,这些附加上的权重构成代数结构半环.2011年M Droste, I.Meinecke在半环的基础上进行推广,首次提出赋值幺半群的概念,并在赋值幺半群上对自动机的相关问题进行研究.本文在此基础上研究赋值幺半群上加权自动机与正则文法的等价性问题.我们引入权重取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)之间的关系.主要工作如下：1.给出权重取值于赋值幺半群的加权正则文法、加权类正则文法及可分配的赋值幺半群的概念,研究了加权正则文法和加权自动机(WFA)的等价性.定义了加权正则文法,加权类正则文法,证明了在赋值幺半群上已知一个加权正则文法,存在一个WFA与该加权正则文法生成的语言相等；已知一个加权类正则文法,存在一个WFA与该加权类正则文法生成的语言相等.定义了可分配的赋值幺半群,证明了在可分配的赋值幺半群上已知一个WFA,存在一个加权正则文法与该WFA生成的语言相等;已知一个WFA,存在一个加权类正则文法与该WFA生成的语言相等.即可分配的赋值幺半群上加权正则文法、加权类正则文法和WFA在生成语言上是等价的.并分别举例说明了可分配性不是必要条件,即推论2.2.7,推论2.3.4的逆命题不成立.并给出了由加权类正则文法构造与之等价的加权正则文法的方法.2.定义了有单位元的赋值幺半群,并在其基础上定义确定型加权自动机(WDFA)、确定型加权正则文法.通过构造,证明了在有单位元的赋值幺半群上,确定型加权正则文法和WDFA等价.定义确定型加权类正则文法,证明了在有单位元的赋值幺半群上,确定型加权类正则文法和WDFA等价.(本文来源于《陕西师范大学》期刊2016-05-01）
王拥兵,李永明[4]（2015）在《模糊正则语言的拓扑性质》一文中研究指出借助有限字母表上完备的度量空间(Profinite拓扑空间),利用拓扑空间中的连续与一致连续函数对模糊有穷自动机识别的模糊正则语言予以刻画。提出闭包基、闭包子基以及Profinite拓扑空间中的(上半)下半连续函数的概念,证明在射有限字符集上存在唯一的拓扑以正则语言类为一个闭包子基,并讨论Profinite拓扑空间的(上半)下半连续函数与模糊正则语言之间的关系。(本文来源于《模糊系统与数学》期刊2015年04期）
姜盼,崔艳荣[5]（2015）在《最短路径算法与正则语言的空性判定》一文中研究指出正则语言的空性判定方法除了传统的标记法外,还有另一种方法,那就是利用最短路径算法。通过对路径的判断,来证明正则语言的空性是否可判定。如果为空,则路径无限长,不为空,则路径是有限长的。该算法比标记法少了标记这一过程,减少了系统的开销,提高了正则语言的判定效率。(本文来源于《电脑知识与技术》期刊2015年12期）
师越,师海忠[6]（2014）在《自然语言是正则语言》一文中研究指出自然语言由字母集、单词集、句子集、段落集和文章集5部分组成,而且,字母集包含于单词集,单词集包含于句子集,句子集包含于段落集,段落集包含于文章集。在此观点下,自然语言是正则语言。引入了字母空图和字母空图语言等10个概念。作为特例,英语由英语字母集、英语单词集、英语句子集、英语段落集和英语文章集5部分构成。在此观点下,英语是正则语言。引入了英语字母空图和英语字母空图语言等10个概念。汉语由汉字集、汉语词汇集、汉语句子集、汉语段落集和汉语文章集5部分构成。在此观点下,汉语是正则语言。引入了汉字空图和汉字空图语言等10个概念。这为计算机自然语言处理打开了一扇新的大门,开辟了语言学新的研究领域。(本文来源于《计算机科学》期刊2014年S2期）
薛倩倩[7]（2014）在《格值模糊正则语言的分级与可判定性》一文中研究指出作为自动机识别的语言,正则语言已应用于计算机程序语言编译的词法分析、开关电路设计等方面,并且在形式语言中有着重要的性质.从20世纪60年代以来,模糊自动机及其接受的语言得到了深入的研究.通常的模糊自动机,即取值在[0,1]单位区间的自动机,只能从层次结构的观点识别所接受的语言,为了克服这个问题,李永明将值域扩展到一般的格结构上,提出了格值自动机,因此有必要研究格值模糊正则语言的性质.对于取值在[0,1]区间上的模糊正则语言,确定的与非确定的是等价的,而对于格值正则语言,这个结论未必成立.Klimann [24]等人已经研究了不同种类加权自动机接受语言在tropical半环下的分级关系,在此我们讨论不同种格值模糊正则语言的分级及可判定性等问题.本文的主要工作如下：1.首先对格值模糊自动机分类,将其分为确定的、序列的、无歧义的、有限歧义的以及无限歧义的.其次,探讨了局部有限格序幺半群L对格值模糊正则语言等价性的影响,证明了L非局部有限时正则语言间存在真包含关系,并给出了几类格值模糊正则语言等价的充分条件.特别地,讨论了当L中的运算取阿基米德t-模时,格值模糊正则语言的性质.2.研究了格值模糊正则语言的可判定性问题.首先,给出了格值模糊正则语言相等(Eq)、不等(Ineq)、局部不等(LocalIneq)和局部相等(LocalEq)这几个待研究的可判定性问题.其次,证明了格值模糊正则语言的可判定性问题与格序幺半群的结构有关,即：若L局部有限,上述几类问题是可判定的,若L非局部有限,上述问题是不可判定的.最后探讨了有穷自动机的有穷分解,证明了任意的Boolen型矩阵都可以分解为余共合矩阵与共合矩阵的复合,并根据这一性质对共轭的自动机进行分解.(本文来源于《陕西师范大学》期刊2014-05-01）
王安平,汤建钢[8]（2013）在《DNA正则语言与DNA正则文法的对应关系》一文中研究指出以生物学的相关知识为背景,在国内外对DNA计算与DNA计算机研究的基础上,利用DNA分子链具有的Watson-Crick互补结构和其巨大的并行性这两大生物特征所呈现的数学特征,在经典自动机的基础上定义了DNA自动机、DNA正则语言及DNA正则文法,并证明DNA正则语言与DNA正则文法的对应关系.(本文来源于《伊犁师范学院学报(自然科学版)》期刊2013年01期）
韩召伟[9]（2012）在《量子无穷正则语言的代数性质》一文中研究指出引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.(本文来源于《陕西师范大学学报(自然科学版)》期刊2012年05期）
梁常建,王景梅[10]（2011）在《格值正则语言截集的封闭性》一文中研究指出主要研究了格值正则语言截集的同态、逆同态、连接、商和反转乘积等代数运算的封闭性质.(本文来源于《陇东学院学报》期刊2011年06期）
正则语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
正则文法是研究自动机的重要工具。引入取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)的关系。证明了在赋值幺半群上,已知一个加权正则文法或加权类正则文法,分别存在一个WFA与之等价。定义了可分配的赋值幺半群,证明了在可分配的赋值幺半群上已知一个WFA,存在一个加权正则文法和加权类正则文法与之等价,即证明了可分配的赋值幺半群上加权正则文法、加权类正则文法和WFA在生成语言上等价,并举例说明了赋值幺半群的可分配性不是已知WFA存在与之等价的加权正则文法或加权类正则文法的必要条件。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
正则语言论文参考文献
[1].刘广灿,曹宇,许家铭,徐波.基于对抗正则化的自然语言推理[J].自动化学报.2019
[2].赵菲,李永明.取值于赋值幺半群的加权正则文法语言[J].计算机工程与科学.2016
[3].赵菲.取值于赋值幺半群的加权正则文法语言研究[D].陕西师范大学.2016
[4].王拥兵,李永明.模糊正则语言的拓扑性质[J].模糊系统与数学.2015
[5].姜盼,崔艳荣.最短路径算法与正则语言的空性判定[J].电脑知识与技术.2015
[6].师越,师海忠.自然语言是正则语言[J].计算机科学.2014
[7].薛倩倩.格值模糊正则语言的分级与可判定性[D].陕西师范大学.2014
[8].王安平,汤建钢.DNA正则语言与DNA正则文法的对应关系[J].伊犁师范学院学报(自然科学版).2013
[9].韩召伟.量子无穷正则语言的代数性质[J].陕西师范大学学报(自然科学版).2012
[10].梁常建,王景梅.格值正则语言截集的封闭性[J].陇东学院学报.2011
论文知识图
