导读:本文包含了上下文无关语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:上下文,语言,文法,自动机,范式,赋值,代数。
上下文无关语言论文文献综述
付雯静,韩召伟[1]（2017）在《量化上下文无关语言的代数性质》一文中研究指出通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。(本文来源于《计算机科学》期刊2017年07期）
冯靓静[2]（2017）在《上下文无关语言的同步运算及其性质》一文中研究指出针对上下文无关语言,引入了语言的可重复序列的依赖运算和同步运算,分析了两种运算的性质、特点,给出了可重复序列的依赖表达式、同步串约束表达式;提出了同步串约束上下文无关语言,给出了该类语言的构造规则:对于字母表上的同步串约束上下文无关语言L,都是由该字母表上的一个正规语言R与该正规语言R中某些可重复序列之间的依赖约束所形成的;证明了同步串约束上下文无关语言与同步串约束表达式所描述的语言等价,且该类语言是上下文无关语言的真子集。(本文来源于《电脑编程技巧与维护》期刊2017年09期）
王月,李永明[3]（2017）在《取值于赋值幺半群的加权上下文无关文法及其语言》一文中研究指出上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。(本文来源于《模糊系统与数学》期刊2017年01期）
张孟青,张福刚,郑新宁[4]（2015）在《浅议格值代数系统与格值上下文无关语言》一文中研究指出引入格值语言及文法的概念,建立格值代数系统与格值上下文无关文法的转换法则,并证明二者的等价性.研究格值代数系统与格值上下文无关语言的关系,得到结论 :格值代数系统的强解的某个分量就是与该格值代数系统等价的格值上下文无关文法生成的格值上下文无关语言。(本文来源于《内蒙古教育(职教版)》期刊2015年10期）
宋小震[5]（2011）在《格值上下文无关语言的运算性质》一文中研究指出在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,并研究了格值上下文无关语言在正则运算下的封闭性。(本文来源于《价值工程》期刊2011年25期）
韩召伟,韩召莹[6]（2011）在《Lukasiewicz逻辑值上下文无关语言的代数刻画》一文中研究指出提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。(本文来源于《计算机工程与应用》期刊2011年03期）
张继军,范昊[7]（2010）在《上下文无关语言的可重复序列及其性质》一文中研究指出通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列叁类;研究了这叁类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.(本文来源于《小型微型计算机系统》期刊2010年06期）
吴静杰[8]（2010）在《上下文无关格值词语言研究》一文中研究指出文章在格半群意义下,提出基于词计算的上下文无关格值文法,证明由其生成的格值词语言关于并与连接运算封闭,及其与乔姆斯基范式文法等价.(本文来源于《西南民族大学学报(自然科学版)》期刊2010年01期）
戴晓君[9]（2008）在《上下文无关语言句子的反向自然枚举》一文中研究指出在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为,是被枚举句子的长度。实验数据表明,该算法是高效的,且应用更加便利。(本文来源于《计算机工程与设计》期刊2008年08期）
张继军,吴哲辉[10]（2008）在《上下文无关Petri网语言的Pumping引理》一文中研究指出Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言叁类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了叁类Petri网语言Pumping引理以及它们之间的关系.(本文来源于《小型微型计算机系统》期刊2008年04期）
上下文无关语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对上下文无关语言,引入了语言的可重复序列的依赖运算和同步运算,分析了两种运算的性质、特点,给出了可重复序列的依赖表达式、同步串约束表达式;提出了同步串约束上下文无关语言,给出了该类语言的构造规则:对于字母表上的同步串约束上下文无关语言L,都是由该字母表上的一个正规语言R与该正规语言R中某些可重复序列之间的依赖约束所形成的;证明了同步串约束上下文无关语言与同步串约束表达式所描述的语言等价,且该类语言是上下文无关语言的真子集。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
上下文无关语言论文参考文献
[1].付雯静,韩召伟.量化上下文无关语言的代数性质[J].计算机科学.2017
[2].冯靓静.上下文无关语言的同步运算及其性质[J].电脑编程技巧与维护.2017
[3].王月,李永明.取值于赋值幺半群的加权上下文无关文法及其语言[J].模糊系统与数学.2017
[4].张孟青,张福刚,郑新宁.浅议格值代数系统与格值上下文无关语言[J].内蒙古教育(职教版).2015
[5].宋小震.格值上下文无关语言的运算性质[J].价值工程.2011
[6].韩召伟,韩召莹.Lukasiewicz逻辑值上下文无关语言的代数刻画[J].计算机工程与应用.2011
[7].张继军,范昊.上下文无关语言的可重复序列及其性质[J].小型微型计算机系统.2010
[8].吴静杰.上下文无关格值词语言研究[J].西南民族大学学报(自然科学版).2010
[9].戴晓君.上下文无关语言句子的反向自然枚举[J].计算机工程与设计.2008
[10].张继军,吴哲辉.上下文无关Petri网语言的Pumping引理[J].小型微型计算机系统.2008
论文知识图
