导读:本文包含了树自动机论文开题报告文献综述、选题提纲参考文献，主要关键词:自动机,同态,最小化,子树,路径,模糊,语言。
树自动机论文文献综述写法
孙小迎,胡忠刚[1]（2019）在《格值树自动机的乘积与覆盖》一文中研究指出给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。(本文来源于《模糊系统与数学》期刊2019年02期）
刘燕[2]（2018）在《量子有穷树自动机的代数性质》一文中研究指出树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树自动机是在树自动机的转移基础上附加权重后所得,因此加权树自动机可看作是经典有穷树自动机的自然推广,其中这些权重一般取值于半环等代数结构.1936年Birkhoff和Neumann首次提出量子逻辑的概念,随后应明生将量子逻辑定义为完备的正交模格值逻辑,提出了基于量子逻辑的自动机理论,并研究了其相关性质.树自动机与树语言是树自动机理论的两个重要研究方向,经典的确定型有穷树自动机与非确定型有穷树自动机是等价的.我们知道,取值于各种不同代数框架下的树语言的泵引理以及Kleene定理是人们感兴趣的研究领域.因此本文主要研究量子正则树语言的泵引理与Kleene定理.基于此我们引入非确定型量子有穷树自动机、简单非确定型量子有穷树自动机、带有(?)转移的非确定型量子有穷树自动机、确定型量子有穷树自动机、自顶向下非确定型量子有穷树自动机、自顶向下确定型量子有穷树自动机的定义,探究了几类量子有穷树自动机之间的关系.本文的主要内容如下:1.介绍了量子有穷树自动机的代数性质.首先定义了非确定型量子有穷树自动机(l-VNFTA)、简单非确定型量子有穷树自动机(l-VSNFTA)带有(?)转移的非确定型量子有穷树自动机(l-VNFTA(?))确定型量子有穷树自动机(l-VDFTA)、自顶向下非确定型量子有穷树自动机(l-VTNFTA)、自顶向下确定型量子有穷树自动机(l-VTDFTA),介绍了量子正则树语言的两种定义方式,即宽度优先与深度优先,并给出了二者等价的充要条件.其次证明了在量子逻辑框架下,非确定型有穷树自动机与确定型有穷树自动机等价.最后得到了非确定型量子有穷树自动机、简单非确定型量子有穷树自动机、带有(?)转移的非确定型量子有穷树自动机、确定型量子有穷树自动机、自顶向下非确定型量子有穷树自动机五者之间的等价关系.2.研究了量子正则树语言的代数刻画.第一部分,给出了量子正则树语言的分层.第二部分,研究了量子正则树语言的泵引理,并给出了具体的例子加以说明;第叁部分,定义了量子正则树语言的正则运算,并证明其在运算下封闭,通过引入量子正则树表达式,证明了在量子逻辑框架下,树语言与正则树表达式等价,即量子正则树语言的Kleene定理成立.(本文来源于《陕西师范大学》期刊2018-05-01）
魏秀娟,李永明[3]（2015）在《可逆加权树自动机》一文中研究指出提出可逆自下而上树自动机,可逆加权树自动机和弱可逆加权树自动机的概念,证明了Σ和交换半环S上的可逆加权树自动机所识别语言的全体关于标量乘法、Hadamard-Product运算封闭,Σ和交换半环S上可逆加权树自动机所识别的语言做和运算得到的树语言为弱可逆树语言,Σ和交换半环S上的可逆加权树语言包含任何形式为1α的树级数(其中α为Σ(0)中任意元),Σ和半域S上的任一可逆加权树自动机与Σ和半域S上的一有布尔根权的可逆加权树自动机等价,可逆树语言的可识别性在半环同态下保持,Σ和布尔半环B上可逆加权树自动机所识别语言(即树级数)的全体构成的集合的支集与Σ上可逆自下而上树自动机所识别语言的全体构成的集合是相等关系,Σ和正半环S上可逆加权树自动机所识别语言(即树级数)的全体构成的集合的支集包含在Σ上可逆自下而上树自动机所识别语言的全体构成的集合中等性质。(本文来源于《模糊系统与数学》期刊2015年04期）
胡忠刚,娄全福[4]（2015）在《格值树自动机的同余与同态》一文中研究指出从代数的角度研究了格值树自动机的同余与同态,得出了格值树自动机的同态基本定理,进而研究了格值树自动机的语言之间的关系。(本文来源于《模糊系统与数学》期刊2015年04期）
胡芙,黄兆华[5]（2015）在《树自动机超最小化》一文中研究指出提出一种新的树自动机超最小化算法,该算法将确定的树自动机转换为确定的有限自动机,再根据确定的有限自动机划分f-等价类方法及状态合并算法,对转换后的自动机进行超最小化,得到最终具有有限差异的确定的树自动机。通过采用实例算法证实:该算法与现有的确定的树自动机超最小化算法相比,具有过程简单、效率高等优点,是一种高效易用的算法。(本文来源于《南昌航空大学学报(自然科学版)》期刊2015年02期）
孙丹丹[6]（2014）在《模糊树自动机的构造及最小化算法的研究》一文中研究指出如今，随着人们经济条件的提高和科学技术水平的发展，Web信息也越来越庞大和复杂。如何从网页的海量信息中抽取出用户所需要的信息，成为研究的热点之一。而网页信息数据间的语义交叉和语义模糊，使得传统的信息抽取技术不能满足用户的需要。为了解决这一问题，本论文研究了如何使用模糊树自动机技术来实现Web信息抽取，并提出了模糊树自动机的构造方法、树自动机和模糊树自动机的最小化算法。本论文主要工作及采用的主要技术如下：（1）构造无秩树自动机模型。依据网站中网页信息的树状结构，将页面中的HTML/XML通过DOM解析器，生成无秩DOM树集，为了解决无秩树节点数目不确定性，本文依据DOM树集构造(k,l) contextual树，得到可控制高度和宽度的树，利用双向转移函数，构造无秩树自动机。（2）采用Rough集技术处理信息模糊性及构造模糊树自动机模型。依据Rough集理论构造符合处理网页信息模糊性的容错关系模型，再结合容错关系模型与Rough集理论中的上近似关系，实现了“核信息”词语的扩展，较好地解决了信息间的模糊性，增加抽取信息的准确性；并在此基础上提出了构造模糊树自动机的过程，通过实验，验证了该模糊树自动机模型在抽取信息中的有效性。（3）树自动机及模糊树自动机的最小化。树自动机最小化的难点在于对树状态进行分类时，可能产生新的字符串状态分类。本文提出了通过定义叁个操作符，追踪标记树状态和字符串状态的方式来解决这个难点；利用状态集的模糊等价，构造模糊等价类；利用互模拟技术的前向互模拟，得到最大前向互模拟，由此构造出最小的模糊树自动机，提出了模糊树自动机的前向互模拟算法；通过实例验证，该算法可以得到比原模糊树自动机状态少的等价模糊树自动机。(本文来源于《华东交通大学》期刊2014-06-30）
罗俊丽[7]（2013）在《基于非确定树自动机的复合攻击建模研究》一文中研究指出攻击模型是检测网络攻击的有效方法,通过对复合攻击建模方法的研究,提出一种基于非确定树形自动机的建模方法。该方法扩展和改进了传统攻击树的建模方法,基于非确定树自动机对复合攻击进行建模。自动机可以接受树形的数据结构的输入,复合攻击的攻击过程表现为树形自动机中从叶子节点到根节点的移动。该方法不但可以形式化描述复合攻击过程,并且能够检测正在发生的攻击和报告攻击完成水平。实验结果证实该方法的有效性。(本文来源于《计算机应用与软件》期刊2013年10期）
杨帆[8]（2013）在《基于树自动机的Web信息抽取》一文中研究指出随着互联网的高速发展，传播信息的重要方法之一便是Web，如何准确快速地在庞大的互联网中获取信息，目前已经有很多的科研工作者将此作为研究方向。在这样的背景之下，便产生了Web信息抽取技术。Web信息抽取技术不仅能够从互联网上获得用户需要的信息，另外也能够将获得的信息作为创建数据挖掘系统和智能查询系统的基础。因此，信息抽取技术具有十分广阔的应用前景。信息抽取（IE）是指从一系列的文档中提取出特定的信息。当前大部分信息抽取工作是从半结构化文档XML或HTML中提取信息，目前现有的技术是基于字符串的提取方法，像有限自动机归纳方法。不过，这种方法并没有利用到XML文档的树形结构。在本文中，我们引入了树自动机技术，来代替字符串的提取方法。本文首先介绍了Web信息抽取的相关技术分类和评价指标，并分析了树自动机、文法推理及信息抽取技术。在有秩树自动机推理方面，本文在k-testable推理算法的基础上，提出了g-testable和gl-testable算法，提高了抽取的召回率和准确率，并基于此设计了一个基于有秩树自动机的Web信息抽取系统原型。最后，通过在基准数据集和大型数据上的实验表明，该方法确实要明显优于基于字符串的信息抽取方法。(本文来源于《华东交通大学》期刊2013-06-30）
黄晓凤[9]（2013）在《两类模糊有限树自动机的性质及其正则表达》一文中研究指出自动机的代数性质与相应的语言一直是自动机理论的研究的重点之一．本文从代数的角度讨论了格半群树自动机的一些代数性质，并探讨了经典的模糊树自动机识别的语言和模糊正则树表达之间的关系．本文分为叁章，主要内容如下：第一章主要介绍了有关半群、格以及格半群的基本概念和格半群上的同余关系和同态关系．第二章给出了格半群树自动机的定义，研究了格半群树自动机的叁种不同形式，证明了格半群树自动机构成格半群．并且讨论了格半群树自动机具有的一些格半群性质．并给出了定义在(l,∑, Θ)上的格半群树自动机(LSTA)构成的格半群的偏序关系．证明了由不同形式的格半群树自动机构成的半格、子格和格的存在性．最后从代数角度，分析了格半群树自动机构成的格半群的同余和同态关系，获得了由格半群树自动机构成的格半群的同态基本定理．第叁章给出了模糊树置换，模糊树语言的并列和闭包运算的定义，证明了对模糊正则树语言应用置换、并列和闭包运算仍产生模糊正则树语言．最后给出了模糊正则树表达式的定义并证明模糊正则树表达式与模糊树自动机等价．(本文来源于《四川师范大学》期刊2013-03-20）
段克松,施化吉,李星毅[10]（2012）在《基于树自动机的XML过滤技术》一文中研究指出为了提高XML数据流的查询匹配效率,基于XML过滤技术研究提出了一种基于树自动机的XML过滤技术XTAFilter。该技术利用hash表来存储谓词,并对多个查询表达式XPath通过共享路径构建树自动机,减少了匹配的时间,提高了查询匹配的效率,同时降低系统运行时的活动状态。搭建仿真平台对技术进行验证,仿真实验结果表明,XTAFilter技术能有效地提高XML数据流的匹配效率,提高了系统的实用性。(本文来源于《计算机工程与设计》期刊2012年03期）
树自动机论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树自动机是在树自动机的转移基础上附加权重后所得,因此加权树自动机可看作是经典有穷树自动机的自然推广,其中这些权重一般取值于半环等代数结构.1936年Birkhoff和Neumann首次提出量子逻辑的概念,随后应明生将量子逻辑定义为完备的正交模格值逻辑,提出了基于量子逻辑的自动机理论,并研究了其相关性质.树自动机与树语言是树自动机理论的两个重要研究方向,经典的确定型有穷树自动机与非确定型有穷树自动机是等价的.我们知道,取值于各种不同代数框架下的树语言的泵引理以及Kleene定理是人们感兴趣的研究领域.因此本文主要研究量子正则树语言的泵引理与Kleene定理.基于此我们引入非确定型量子有穷树自动机、简单非确定型量子有穷树自动机、带有(?)转移的非确定型量子有穷树自动机、确定型量子有穷树自动机、自顶向下非确定型量子有穷树自动机、自顶向下确定型量子有穷树自动机的定义,探究了几类量子有穷树自动机之间的关系.本文的主要内容如下:1.介绍了量子有穷树自动机的代数性质.首先定义了非确定型量子有穷树自动机(l-VNFTA)、简单非确定型量子有穷树自动机(l-VSNFTA)带有(?)转移的非确定型量子有穷树自动机(l-VNFTA(?))确定型量子有穷树自动机(l-VDFTA)、自顶向下非确定型量子有穷树自动机(l-VTNFTA)、自顶向下确定型量子有穷树自动机(l-VTDFTA),介绍了量子正则树语言的两种定义方式,即宽度优先与深度优先,并给出了二者等价的充要条件.其次证明了在量子逻辑框架下,非确定型有穷树自动机与确定型有穷树自动机等价.最后得到了非确定型量子有穷树自动机、简单非确定型量子有穷树自动机、带有(?)转移的非确定型量子有穷树自动机、确定型量子有穷树自动机、自顶向下非确定型量子有穷树自动机五者之间的等价关系.2.研究了量子正则树语言的代数刻画.第一部分,给出了量子正则树语言的分层.第二部分,研究了量子正则树语言的泵引理,并给出了具体的例子加以说明;第叁部分,定义了量子正则树语言的正则运算,并证明其在运算下封闭,通过引入量子正则树表达式,证明了在量子逻辑框架下,树语言与正则树表达式等价,即量子正则树语言的Kleene定理成立.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
树自动机论文参考文献
[1].孙小迎,胡忠刚.格值树自动机的乘积与覆盖[J].模糊系统与数学.2019
[2].刘燕.量子有穷树自动机的代数性质[D].陕西师范大学.2018
[3].魏秀娟,李永明.可逆加权树自动机[J].模糊系统与数学.2015
[4].胡忠刚,娄全福.格值树自动机的同余与同态[J].模糊系统与数学.2015
[5].胡芙,黄兆华.树自动机超最小化[J].南昌航空大学学报(自然科学版).2015
[6].孙丹丹.模糊树自动机的构造及最小化算法的研究[D].华东交通大学.2014
[7].罗俊丽.基于非确定树自动机的复合攻击建模研究[J].计算机应用与软件.2013
[8].杨帆.基于树自动机的Web信息抽取[D].华东交通大学.2013
[9].黄晓凤.两类模糊有限树自动机的性质及其正则表达[D].四川师范大学.2013
[10].段克松,施化吉,李星毅.基于树自动机的XML过滤技术[J].计算机工程与设计.2012