导读:本文包含了模糊有穷自动机论文开题报告文献综述及选题提纲参考文献，主要关键词:模糊有穷自动机,单体二阶逻辑,有界传递闭包模糊逻辑,Pebble模糊有穷自动机
模糊有穷自动机论文文献综述
范艳焕,耿生玲,李永明[1]（2015）在《Pebble模糊有穷自动机和传递闭包逻辑》一文中研究指出定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。(本文来源于《模糊系统与数学》期刊2015年04期）
张福刚[2]（2013）在《模糊剩余有穷自动机》一文中研究指出自动机是计算的简单数学模型,在计算机科学中有着重要的作用.最小化问题一直是自动机领域的重要问题之一.确定型有穷自动机(DFA)的最小化已经得到了有效的算法,但对于非确定型有穷自动机(NFA)却一直没有得到理想的结果.剩余有穷自动机(RFA)是基于Myhill_Nerode定理定义的一类特殊的NFA,在研究NFA的最小化过程中起到了十分重要的作用,为自动机最小化研究探索出了一条新的途径.1965年,L. A. Zadeh提出了模糊集理论,1967年,W. G. Wee将模糊集的概念引入到了自动机理论中.随后,模糊自动机便得到了广泛的研究.模糊有穷自动机可以看做是经典自动机的一个扩充,其中包含了像“大约”“高”“矮”这类模糊的、不准确的概念,即就是在自然语言中经常用到的一些模糊语言.正如经典的自动机那样,最小化问题依然是模糊自动机的核心问题之一,虽然确定型模糊自动机的最小化已经有了很好的结果,但是非确定型模糊自动机的最小化问题还有待研究.由于RFA在研究经典自动机的最小化问题中起到了重要作用,我们考虑利用类似的方法进行模糊自动机的最小化研究.本文在完备剩余格上定义了一种重要的模糊自动机(LFA)类型-模糊剩余有穷自动机(LRFA). LRFA是一类特殊的LFA,确定型模糊有穷自动机(DLFA)是特殊的(LRFA)通过定义标准LRFA来实现LRFA的最小化.本文的主要工作如下：1.给出了模糊剩余语言(LRL)的概念,讨论了LRL的基本运算和基本性质,利用LRL给出构造最小DLFA的方法.结合LRL给出LRFA的定义,讨论了LRFA的一些重要的性质.在以上定义的基础上,利用截集对LRFA进行了讨论,有效的将LRFA与RFA联系起来,即LRFA的λ一截集是RFA.2.讨论了LRFA的最小化问题,定义了LFA的饱和运算与消去运算,讨论了两种运算相关的一些重要性质,特别的,LRFA经过这两种运算后依然是LRFA;在定义饱和运算与消去运算的基础上给出了标准LRFA的概念,证明了标准LRFA是状态最小的惟-LRFA以及标准LRFA拥有比识别相同语言的最小DLFA更少的状态数；讨论了DLFA、LRFA以及LFA识别语言的包真含关系,并在LFA转化为DLFA算法的基础上,给出了LFA转化为DLFA的算法.(本文来源于《陕西师范大学》期刊2013-05-01）
郑兆岳[3]（2012）在《一类双向模糊有穷自动机》一文中研究指出给出经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。(本文来源于《淮南师范学院学报》期刊2012年03期）
孙丹丹,李永明,杨文武[4]（2009）在《模糊有穷自动机的互模拟关系》一文中研究指出互模拟是离散事件系统中的一个等价关系,它已经应用到概率、随机和加权自动机中。本文给出模糊有穷自动机(FFA)前向互模拟关系和后向互模拟关系的定义,并给出它们的一些性质,证明前向和后向互模拟关系对于模糊有穷自动机(FFA)的一些运算(并,连接,交)和模糊正则语言的表现定理是封闭的。另外文中还给出一个可在有限步计算极大前向互模拟关系的算法,最后指出前向和后向互模拟之间的区别。(本文来源于《模糊系统与数学》期刊2009年04期）
李永明[5]（2008）在《模糊有穷自动机与单体二阶Lukasiewicz逻辑》一文中研究指出该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.(本文来源于《计算机学报》期刊2008年10期）
张小伟[6]（2008）在《直觉模糊有穷自动机及其语言的研究》一文中研究指出直觉模糊自动机理论是自动机理论的一个重要分支.Atanassov定义了一种新的模糊集-直觉模糊集.直觉模糊有穷自动机就是定义在直觉模糊集合上的.研究表明直觉模糊有穷自动机在实际应用方面优于模糊自动机,因此直觉模糊自动机及其语言的研究就显得尤为重要.经典有穷自动机的等价性已经被讨论.但对于一般t—模“*”,确定型模糊自动机与非确定型模糊自动机未必等价,最近李永明教授对基于max—*复合运算的t—模,引入有限生成条件和弱有限生成条件,详细讨论了模糊自动机的逼近性问题.本文在直觉模糊集的基础上首先研究了“∧”和“∨”运算下的直觉模糊识别器及其识别的语言和直觉模糊有穷自动机及其语言,证明了直觉模糊有穷自动机与确定型直觉模糊有穷自动机是等价的.其次证明了一般的t—模和s—模意义下的直觉模糊有穷自动机与确定型直觉模糊有穷自动机不等价,但是若满足直觉有限生成条件,直觉模糊有穷自动机与确定型直觉模糊有穷自动机等价;若满足弱直觉有限生成条件,直觉模糊有穷自动机总能被某个确定型直觉模糊有穷自动机逼近.进而讨论了直觉模糊有穷自动机识别语言的代数性质,即所接受语言关于并、交、补、连接及克林闭包等代数运算的封闭性质;接着定义了直觉模糊正则表达式及生成的语言,得出结论直觉模糊正则表达式生成的语言与直觉模糊有穷自动机识别的语言是等价的.最后讨论直觉模糊正则语言与正则语言的关系.(本文来源于《陕西师范大学》期刊2008-05-01）
汤恒琦,邓培民,易忠[7]（2008）在《模糊识别器与有穷自动机的等价性》一文中研究指出针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受的语言与模糊识别器的行为相同,从而得出它们之间的等价性。(本文来源于《计算机工程与应用》期刊2008年09期）
蔡增玉,刘书如,张建伟,张保威[8]（2008）在《汉字模糊有穷自动机的研究》一文中研究指出汉字的计算机输入是中文信息处理的关键问题之一,而汉字计算机输入的数学模型对汉字的计算机输入的研究有重要的意义。对汉字输入数学模型的分类进行了研究。研究了一般汉字有穷自动机,在此基础上把模糊有穷自动机的概念引入输入模型,并给出汉字模糊有穷自动机的概念。新的模型是以前给出的汉字自动机模型的推广,较之以前的数学模型,能刻画出汉字智能输入、词句输入,表达能力进一步增强,为汉字的智能处理提供了数学模型。(本文来源于《计算机技术与发展》期刊2008年03期）
模糊有穷自动机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
自动机是计算的简单数学模型,在计算机科学中有着重要的作用.最小化问题一直是自动机领域的重要问题之一.确定型有穷自动机(DFA)的最小化已经得到了有效的算法,但对于非确定型有穷自动机(NFA)却一直没有得到理想的结果.剩余有穷自动机(RFA)是基于Myhill_Nerode定理定义的一类特殊的NFA,在研究NFA的最小化过程中起到了十分重要的作用,为自动机最小化研究探索出了一条新的途径.1965年,L. A. Zadeh提出了模糊集理论,1967年,W. G. Wee将模糊集的概念引入到了自动机理论中.随后,模糊自动机便得到了广泛的研究.模糊有穷自动机可以看做是经典自动机的一个扩充,其中包含了像“大约”“高”“矮”这类模糊的、不准确的概念,即就是在自然语言中经常用到的一些模糊语言.正如经典的自动机那样,最小化问题依然是模糊自动机的核心问题之一,虽然确定型模糊自动机的最小化已经有了很好的结果,但是非确定型模糊自动机的最小化问题还有待研究.由于RFA在研究经典自动机的最小化问题中起到了重要作用,我们考虑利用类似的方法进行模糊自动机的最小化研究.本文在完备剩余格上定义了一种重要的模糊自动机(LFA)类型-模糊剩余有穷自动机(LRFA). LRFA是一类特殊的LFA,确定型模糊有穷自动机(DLFA)是特殊的(LRFA)通过定义标准LRFA来实现LRFA的最小化.本文的主要工作如下：1.给出了模糊剩余语言(LRL)的概念,讨论了LRL的基本运算和基本性质,利用LRL给出构造最小DLFA的方法.结合LRL给出LRFA的定义,讨论了LRFA的一些重要的性质.在以上定义的基础上,利用截集对LRFA进行了讨论,有效的将LRFA与RFA联系起来,即LRFA的λ一截集是RFA.2.讨论了LRFA的最小化问题,定义了LFA的饱和运算与消去运算,讨论了两种运算相关的一些重要性质,特别的,LRFA经过这两种运算后依然是LRFA;在定义饱和运算与消去运算的基础上给出了标准LRFA的概念,证明了标准LRFA是状态最小的惟-LRFA以及标准LRFA拥有比识别相同语言的最小DLFA更少的状态数；讨论了DLFA、LRFA以及LFA识别语言的包真含关系,并在LFA转化为DLFA算法的基础上,给出了LFA转化为DLFA的算法.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模糊有穷自动机论文参考文献
[1].范艳焕,耿生玲,李永明.Pebble模糊有穷自动机和传递闭包逻辑[J].模糊系统与数学.2015
[2].张福刚.模糊剩余有穷自动机[D].陕西师范大学.2013
[3].郑兆岳.一类双向模糊有穷自动机[J].淮南师范学院学报.2012
[4].孙丹丹,李永明,杨文武.模糊有穷自动机的互模拟关系[J].模糊系统与数学.2009
[5].李永明.模糊有穷自动机与单体二阶Lukasiewicz逻辑[J].计算机学报.2008
[6].张小伟.直觉模糊有穷自动机及其语言的研究[D].陕西师范大学.2008
[7].汤恒琦,邓培民,易忠.模糊识别器与有穷自动机的等价性[J].计算机工程与应用.2008
[8].蔡增玉,刘书如,张建伟,张保威.汉字模糊有穷自动机的研究[J].计算机技术与发展.2008
标签：模糊有穷自动机; 单体二阶逻辑; 有界传递闭包模糊逻辑; Pebble模糊有穷自动机;