导读:本文包含了模糊树自动机的积论文开题报告文献综述及选题提纲参考文献，主要关键词:树自动机,模糊树自动机,自动机最小化,Rough集
模糊树自动机的积论文文献综述
孙丹丹[1]（2014）在《模糊树自动机的构造及最小化算法的研究》一文中研究指出如今，随着人们经济条件的提高和科学技术水平的发展，Web信息也越来越庞大和复杂。如何从网页的海量信息中抽取出用户所需要的信息，成为研究的热点之一。而网页信息数据间的语义交叉和语义模糊，使得传统的信息抽取技术不能满足用户的需要。为了解决这一问题，本论文研究了如何使用模糊树自动机技术来实现Web信息抽取，并提出了模糊树自动机的构造方法、树自动机和模糊树自动机的最小化算法。本论文主要工作及采用的主要技术如下：（1）构造无秩树自动机模型。依据网站中网页信息的树状结构，将页面中的HTML/XML通过DOM解析器，生成无秩DOM树集，为了解决无秩树节点数目不确定性，本文依据DOM树集构造(k,l) contextual树，得到可控制高度和宽度的树，利用双向转移函数，构造无秩树自动机。（2）采用Rough集技术处理信息模糊性及构造模糊树自动机模型。依据Rough集理论构造符合处理网页信息模糊性的容错关系模型，再结合容错关系模型与Rough集理论中的上近似关系，实现了“核信息”词语的扩展，较好地解决了信息间的模糊性，增加抽取信息的准确性；并在此基础上提出了构造模糊树自动机的过程，通过实验，验证了该模糊树自动机模型在抽取信息中的有效性。（3）树自动机及模糊树自动机的最小化。树自动机最小化的难点在于对树状态进行分类时，可能产生新的字符串状态分类。本文提出了通过定义叁个操作符，追踪标记树状态和字符串状态的方式来解决这个难点；利用状态集的模糊等价，构造模糊等价类；利用互模拟技术的前向互模拟，得到最大前向互模拟，由此构造出最小的模糊树自动机，提出了模糊树自动机的前向互模拟算法；通过实例验证，该算法可以得到比原模糊树自动机状态少的等价模糊树自动机。(本文来源于《华东交通大学》期刊2014-06-30）
黄晓凤[2]（2013）在《两类模糊有限树自动机的性质及其正则表达》一文中研究指出自动机的代数性质与相应的语言一直是自动机理论的研究的重点之一．本文从代数的角度讨论了格半群树自动机的一些代数性质，并探讨了经典的模糊树自动机识别的语言和模糊正则树表达之间的关系．本文分为叁章，主要内容如下：第一章主要介绍了有关半群、格以及格半群的基本概念和格半群上的同余关系和同态关系．第二章给出了格半群树自动机的定义，研究了格半群树自动机的叁种不同形式，证明了格半群树自动机构成格半群．并且讨论了格半群树自动机具有的一些格半群性质．并给出了定义在(l,∑, Θ)上的格半群树自动机(LSTA)构成的格半群的偏序关系．证明了由不同形式的格半群树自动机构成的半格、子格和格的存在性．最后从代数角度，分析了格半群树自动机构成的格半群的同余和同态关系，获得了由格半群树自动机构成的格半群的同态基本定理．第叁章给出了模糊树置换，模糊树语言的并列和闭包运算的定义，证明了对模糊正则树语言应用置换、并列和闭包运算仍产生模糊正则树语言．最后给出了模糊正则树表达式的定义并证明模糊正则树表达式与模糊树自动机等价．(本文来源于《四川师范大学》期刊2013-03-20）
李煜,邓培民[3]（2011）在《有限模糊树自动机的一些代数性质与相应的语言》一文中研究指出将模糊自动机的同态、完全、容许关系等概念引入到模糊树自动机中,从代数的角度研究模糊树自动机的一些代数性质,并探讨了模糊树自动机的语言的相关问题。(本文来源于《模糊系统与数学》期刊2011年06期）
王泽文,舒兰,翁福利[4]（2012）在《模糊树自动机语言的封闭性》一文中研究指出给出了Σ-代数、Σ-树、模糊Σ-树自动机、模糊Σ-树自动机行为的定义。引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性。(本文来源于《计算机工程与应用》期刊2012年18期）
李煜[5]（2011）在《有限模糊树自动机的代数性质与树语言》一文中研究指出模糊有限自动机可以处理一些动态或者不确定性系统问题,因此,它为计算机理论提供了一种研究和处理包含模糊性自然语言的方法与工具.模糊自动机的容许关系、容许划分、覆盖和同态等一些代数性质和结构及其研究方法同样可以考虑放在模糊树自动机中讨论.本文利用代数方法讨论了有限模糊树自动机的同态问题,引入了模糊自动机容许关系、容许划分、覆盖及其语言等几个方面的内容.这些研究工作一方面推广了模糊有限自动机已有的结果；另一方面我们能更好地深入讨论有限模糊树自动机的一些代数性质和结构,并且,最后得到了有限模糊树自动机树语言的一些结果.本文分为五个部分,前面四个部分每个部分为一章,最后部分为结束语.第一章为引言,这部分简单介绍了有限模糊树自动机的基本情况,阐述了本文所讨论内容的研究背景,对有限模糊树自动机的基本概念和记号也做了介绍.第二章讨论了两个有限模糊树自动机在推广后的同态映射下的一些代数性质,主要结果有：定理2.2.1设A1=(A1,∑,61,β1)和A2=(A2,∑,δ2,β2)是L上的模糊树自动机,α：A1→A2是同态且α是单射,则α是强同态映射的充要条件是62((α(a1),α(a2),…,α(a。)),α(a),σ)=δ1((a1,a2,…,an),a,σ)β2(α(a))=β1(a),(?)ai,a∈A1,i=1,…,n,σ∈∑n.定理2.2.2设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的模糊树自动机,α：A1→A2是满同态映射,若A1是相连的,则A2是相连的.定理2.2.3设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的模糊树自动机,a：A1→A2是同态映射,若这个同态是强满同态,则A1是完全的当且仅当A2是完全的.第叁章给出了有限模糊树自动机的容许关系、容许划分和覆盖的定义,重点讨论了有限模糊树自动机的容许关系、容许划分和覆盖的一些代数性质与相应的树语言,主要结果有：定理3.2.1.4设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的有限模糊树自动机,α：A1→A2是强满同态映射,则存在一个同构φ:A1/kerα→A2,使得a=φ·α'.其中α'是A1到A1/kerα的自然同态映射.定理3.2.2.1设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的模糊树自动机,若A1与A2等价,则L(A1)=L(A2).定理3.2.2.2设A=(A,∑,δ,β)是L上的完全模糊树自动机,且对任意a∈A,β(a)>0,令t=(t1,…,tn)∈T∑,σ∈∑n,n≥0,则ti∈L(A),i=1,…,n当且仅当t∈L(A).定理3.2.2.3设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的模糊树自动机,若α是A1到A2的满同态映射,则L(A1)(?)L(A2).定理3.3.1.3设A=(A,∑,δ,β)是L上的有限模糊树自动机,π={Hi|i=1,…,u,u+1,…,r}和τ={Kj|j=1,…,v,v+1,…,s}是A的容许划分,且τ和τ是δ-正交的,则A≤A/π∧A/τ定理3.3.1.5设A=(A,∑,δ,β)是L上的有限模糊树自动机,π={Hi|i=1,…,n}是A的一个容许划分,则π是极大的,当且仅当A／π是不可约的.定理3.3.1.6设A=(A,∑,δ,β)是L上的有限模糊树自动机,|A|=n≥2,A中存在极大容许划分π,若A中的一个容许划分τ,有π和τ为δ-正交的,则A≤N1∧…∧m-1Nm其中N1,…,Nm是不可约有限模糊树自动机,Ni的状态集Ai有|Ai|<n.定理3.3.1.7设A1=(A1,∑,61,β1)和A2=(A2,∑,δ2,β2)是L上的有限模糊树自动机,若A1≤A2,则L(A1)(?)L(A2).定理3.3.2.2设α是A1=(A1,∑,δ1,β1)到A2=(A2,∑,δ2,β2)的强满同态,ρ,,p2分别是有限模糊树自动机A1,A2上的两种容许关系,ρ1∈ke7α.则存在A1/ρ1到A2/ρ2的强满同态α'使得下面的图形可交换,其中φ1,φ2是自然同态.第四章讨论了有限模糊树自动机的树语言的交与并,主要结果有：定理4.1设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的完全模糊树自动机,则L(A1∪A2)=L(A1)∪L(A2).定理4.2设A1=(A1,∑,δ1,β1)和A2=(A2,∑,δ2,β2)是L上的完全模糊树自动机,则L(A1∩A2)=L(A1)∩L(A2).最后部分为结束语,总结了本文的主要研究工作并阐述了今后的工作.(本文来源于《广西师范大学》期刊2011-04-01）
覃湘藩,胡忠刚,邓培民[6]（2010）在《模糊树自动机的同余与同态》一文中研究指出从代数角度出发研究模糊树自动机的同余与同态,得出模糊树自动机的同态基本定理和同构基本定理,且对模糊树自动机的语言及模糊树自动机的极小化问题进行研究。(本文来源于《模糊系统与数学》期刊2010年04期）
胡忠刚,邓培民,易忠[7]（2009）在《模糊树自动机的积与覆盖》一文中研究指出给出了模糊树自动机的全直积、限制直积、级联积和圈积以及覆盖的定义,讨论了模糊树自动机积之间的关系、模糊树自动机积之间的覆盖关系以及模糊树自动机的积与覆盖它们的模糊树自动机的积之间的覆盖关系。(本文来源于《广西师范大学学报(自然科学版)》期刊2009年04期）
胡忠刚[8]（2009）在《树自动机与模糊树自动机的代数性质》一文中研究指出自动机理论是研究离散型数字系统的功能、结构以及两者关系的数学理论,是对许多具体的离散数字系统的抽象,自动机理论是在开关网络理论和数理逻辑中图灵机理论的基础上发展起来一门学科.有限树自动机是把有限自动机看作一元代数的思想进行推广而得到的,且有限树自动机已应用于计算机科学的很多方面,特别是重写技术.模糊树自动机是被看作加权树自动机一种特殊情况,它接受(完全)半环S上的正规树系列,当半环S是完全分配格时,加权树自动机就是模糊树自动机.本文从代数的角度考虑,讨论了树自动机和模糊树自动机的代数结构问题,讨论了树自动机的商自动机和树自动机同态之间的关系以及模糊树自动机的商自动机和模糊树自动机同态之间的关系,证明了同态基本定理,并且还讨论了模糊树自动机积之间的关系,模糊树自动机不同积之间的覆盖关系.同时,还讨论了模糊树自动机的积与覆盖它们的模糊树自动机的积之间的覆盖关系.本文分为五个部分,第一部分是引言,第二至第四部分中每一部为一章,最后部分是结束语.引言部分主要介绍本文的研究背景、理论来源和研究的意义以及本文的主要研究成果。第一章讨论了树自动机的商自动机和树自动机同态之间的关系以及树语言的一些性质.主要结果有:定理1.2.5(同态基本定理)设φ是确定的树自动机A_1=(Q_1,F,Q_(f_1),△_1)到确定的树自动机A_2=(Q_2,F,Q_(f_2),△_2)的同态,ρ是A_1上的同余关系,且ρ(?)kerφ,则存在唯一同态α:A_1/ρ→A_2,使得φ=αη,即下图交换其中η是自然同态.若ρ=kerφ,φ为满的,则α是同构的,即A_1/kerφ≌A_2定理1.2.7设ρ和ρ'是树自动机A=(Q,F,Q_f,△)上的同余关系,且ρ(?)ρ',则有树自动机的同构A/ρ/ρ'/ρ≌A/ρ'.定理1.2.8设φ是树自动机A_1=(Q_1,F,Q_(f_1),△_1)到A_2=(Q_2,F,Q_(f_2),△_2)的满同态,且ρ_1,ρ_2分别是A_1,A_2上的同余关系,ρ_1(?)kerφ,则存在A_1/ρ_1到A_2/ρ_2的满同态φ',使下面图形交换其中α_1,α_2是自然同态.定理1.3.3设A_1=(Q_1,F,Q_(f_1),△_1)和A_2=(Q_2,F,Q_(f_2),△_2)是确定的树自动机,若有满同态φ:A_1→A_2,则有L(A_1)=L(A_2),其中L(A_1),L(A_2)分别表示由A_1和A_2所识别的语言.第二章讨论了模糊树自动机的同态关系,主要结果有:定理2.2.2(同态基本定理)设(L,∨,∧)是完全分配格,A=(A,∑,δ,β),A_1=(A_1,∑,δ_1,β_1)和A_2=(A_2,∑,δ_2,β_2)为L上的模糊树自动机,则以下结论成立:(1)若Ξ是模糊树自动机A=(A,∑,δ,β)上的同余关系,那么有模糊树自动机A/Ξ=(Ω,∑,δ_Ξ,β_Ξ),定义映射ψ:A→Ω,对任意的a∈A,ψ(a)=[a],则Ξ是一个满同态映射;(2)若ψ:A_1→A_2是满同态映射,定义A_1上的关系kerψ={(a,b)∈A_1×A_1|ψ(a)=ψ(b)},则kerψ是A_1上的一个同余关系且A_1/kerψ≌A_2.定理2.2.3(同构定理)设(L,∨,∧)是完全分配格,A=(A,∑,δ,β)是L上的模糊树自动机,Ξ,Θ是模糊树自动机A=(A,∑,δ,β)的两种同余关系且Θ(?)Ξ,定义A/Θ上的同余关系Ξ/Θ如下:([a]_Θ,b_Θ)∈Ξ/Θ当且仅当(a,b)∈Ξ,此时Ξ/Θ是A/Θ上的同余关系且A/Θ/Ξ/Θ≌A/Ξ.第叁章将全直积、限制直积、级联积、圈积和覆盖的概念引入到模糊树自动机,讨论了模糊树自动机积之间的关系,模糊树自动机不同积之间的覆盖关系.同时,还讨论了模糊树自动机的积与覆盖它们的模糊树自动机的积之间的覆盖关系.主要结果有:定理3.2.5设(L,∨,∧)是完全分配格,设A_1=(A_1,∑_1,δ_1,β_1)和A_2=(A_2,∑_2,δ_2,β_2)是L上的模糊树自动机,则有下面结论成立:(1)A_1∧A_2<A_1×A_2;(2)A_1ωA_2<A_1οA_2.定理3.2.6设(L,∨,∧)是完全分配格,设A_i=(A_i,∑_i,δ_i,β_i)(i=1,2,3,4)都是L上的模糊树自动机,则(A_1οA_2)×(A_3οA_4)<(A_1×A_3)ο(A_2×A_4).最后部分为结束语,总结了本文的主要工作,阐述了与本文相关研究的一些课题,并对下一步的继续研究工作做了设想。(本文来源于《广西师范大学》期刊2009-04-01）
模糊树自动机的积论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
自动机的代数性质与相应的语言一直是自动机理论的研究的重点之一．本文从代数的角度讨论了格半群树自动机的一些代数性质，并探讨了经典的模糊树自动机识别的语言和模糊正则树表达之间的关系．本文分为叁章，主要内容如下：第一章主要介绍了有关半群、格以及格半群的基本概念和格半群上的同余关系和同态关系．第二章给出了格半群树自动机的定义，研究了格半群树自动机的叁种不同形式，证明了格半群树自动机构成格半群．并且讨论了格半群树自动机具有的一些格半群性质．并给出了定义在(l,∑, Θ)上的格半群树自动机(LSTA)构成的格半群的偏序关系．证明了由不同形式的格半群树自动机构成的半格、子格和格的存在性．最后从代数角度，分析了格半群树自动机构成的格半群的同余和同态关系，获得了由格半群树自动机构成的格半群的同态基本定理．第叁章给出了模糊树置换，模糊树语言的并列和闭包运算的定义，证明了对模糊正则树语言应用置换、并列和闭包运算仍产生模糊正则树语言．最后给出了模糊正则树表达式的定义并证明模糊正则树表达式与模糊树自动机等价．
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模糊树自动机的积论文参考文献
[1].孙丹丹.模糊树自动机的构造及最小化算法的研究[D].华东交通大学.2014
[2].黄晓凤.两类模糊有限树自动机的性质及其正则表达[D].四川师范大学.2013
[3].李煜,邓培民.有限模糊树自动机的一些代数性质与相应的语言[J].模糊系统与数学.2011
[4].王泽文,舒兰,翁福利.模糊树自动机语言的封闭性[J].计算机工程与应用.2012
[5].李煜.有限模糊树自动机的代数性质与树语言[D].广西师范大学.2011
[6].覃湘藩,胡忠刚,邓培民.模糊树自动机的同余与同态[J].模糊系统与数学.2010
[7].胡忠刚,邓培民,易忠.模糊树自动机的积与覆盖[J].广西师范大学学报(自然科学版).2009
[8].胡忠刚.树自动机与模糊树自动机的代数性质[D].广西师范大学.2009