Fuzzy有限自动机语言的运算封闭性

作者已对Fuzzy3型文法与Fuzzy有限态自动机的关系作了详细的研究,本文将在此基础上对Fuzzy有限自动机语言的性质作进一步讨论.证明了Fuzzy有限自动机语言对并、连接(乘积)及闭包运算具有封闭性.

关于Fuzzy3型文法与Fuzzy有限态自动机的关系

本文首先讨论了确定的Fuzzy有限态自动机与非确定的Fuzzy有限态自动机之间的转换关系,在此基础上研究了Fuzzy 3型文法与Fuzzy有限态自动机的关系问题,得出了两个有实用价值的定理。这两个定理为进一步研究Fuzzy文法的理论及其应用奠定了基础。定理1 设(?)是由一个非确定的Fuzzy有限态自动机FA=(∑,Q,δ,q_0,F)所接受的Fuzzy链集,则有一个能接受(?)的确定的Fuzzy有限态自动机FA′=(∑′,Q′,δ′,

Fuzzy下推自动机与Fuzzy上下文无关语言的关系

在文献 (JournalofUESTofChina ,1992 ,2 1( 2 ) :188～ 190 )基础上 ,讨论了Fuzzy下推自动机按两种不同方式所接受的语言类的等价性 ,进而研究了Fuzzy下推自动机所产生的语言与Fuzzy上下文无关语言的等价关系 。

Fuzzy有理语言与Fuzzy有限态自动机的关系

引入了fuzzy有理语言的概念,得到了∑+的子集可识别当且仅当有理的.从而揭示了fuzzy有理语言与fuzzy有限态自动机语言的关系.

扰动值模糊有限自动机及其语言

引入扰动值模糊有限自动机及其语言的概念,讨论扰动值模糊有限自动机的状态转移函数的扩张问题,证明3类确定型扰动值模糊有限自动机、非确定型扰动值模糊有限自动机相互等价性,研究扰动值模糊有限自动机的语言关于正则运算的封闭性.

利用有限自动机所识别的语言构造petri网的可达性树

可这性树(reachabihy tree)表示petri网的可达标识集。它既和petri网的结构有关,也和petri网的初始标识有关。通过分析petri网的可达树,可以了解petri网的许多重要性质。因此如何从给出的petri网图转换成可达性树,是进一步研究petri网的关键。基于此,本文利用有限自动机所识别的语言给出了一种构造petri网可达性树的方法。

基于词计算的Fuzzy有限自动机的最小化

介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的输入和输出分别由输入和输出字母表的Fuzzy子集串代替,定义了它的最小形式,得到这种新的Fuzzy有限自动机M都存在一个与之等价的最小Fuzzy有限自动机Mm。

最大乘积型Fuzzy自动机语言的运算封闭性

本文首先讨论了确定的最大乘积型 Fuzzy自动机与非确定的最大乘积型 Fuzzy自动机之关系 ;其次 ,对它所生成的语言的一些常用而重要的性质进行了研究 ,证明了其语言对并、链接、闭包。

基于词计算的Fuzzy有限自动机的等价问题

首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广.

Fuzzy正则表达式与Fuzzy有限态自动机的关系

首先给出了 Fuzzy正则表达式的定义 ,接着通过研究 Fuzzy正则表达式与Fuzzy有限态自动机的关系 ,得到了两个重要性质 ,即 :每一个 Fuzzy正则表达式 ,都有一个非确定性的 Fuzzy有限态自动机接受其代表的语言 ;每一个被确定性的Fuzzy有限态自动机接受的语言 ,都能被一个 Fuzzy正则表达式表示 .

有限自动机可识别语言的基数

利用有向图的邻接矩阵研究有限自动机的可识别语言的基数问题。通过建立有限自动机的可识别语言与其有向图中从初始结点(有限自动机的初始状态)到终止结点(有限自动机的终止状态)的路的一一对应关系,利用邻接矩阵给出了有限自动机的可识别语言的基数公式,研究了两个自动机不等价的充分条件。

有限自动机产生的语言的度量熵

有限自动机理论在动力系统演化复杂性等方面有很大应用。本文讨论了有限自动机产生的语言的度量熵问题。给出了非常简洁的表达式。

两类Fuzzy自动机的等价性

通过对Fuzzy有限状态自动机和Fuzzy有限自动机的结构、定义及性质的研究 。

有限自动机在BBS信息监测系统中的运用

形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系,利用有限自动机可以对文本信息进行智能化监测,对文本的词法分析可以得到系统监测所需要的信息。该文对有限自动机在BBS信息监测系统中的运用进行了详细阐述;描述了系统的具体实现以及软件界面;对信息监测的三种方式终端监测、运行监测、备份监测的优劣进行了分析,并提出了具体实施的办法。

基于有限自动机的SIP仿真测试器设计

把有限自动机的思想和SIP(Session Initiation Protocol)协议仿真测试器的设计相结合,给出了SIP测试方案的有限自动机描述,并设计了一种基于有限自动机的SIP仿真测试器。该测试器使用户摆脱了专门高级编程语言的学习,便于用户掌握使用,测试器支持IPv4/IPv6,适应IP技术的发展,为测试平台的设计提供了一种新方法。

基于有限状态自动机的传感器管理方法

传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非使能设定,描述不同控制策略;提出语言测度参数的递归估计方法与停止规则,并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。实例分析结果表明:利用有限状态自动机模型能够辅助设计传感器故障控制策略,根据语言测度可以正确评价传感器控制策略。

最大乘积型Fuzzy上下无关文法与下推自动机

在文献[1]的基础上,讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系,即:由给定的最大乘积型Fuzzy上下文无关文法可构造一个最大乘积型Fuzzy下推自动机使得二者接受的语言集相同,反之亦然。从而达到自动识别语言的目的。

基于Trie树和有限状态自动机的中文地址解析模型

目前,无论是在研究或者是商业领域中,中文地址解析都没有一个成熟的模型结果。要素识别是地址解析的关键技术,传统的地址要素识别是基于特征词和字典匹配的方法,难以解决地址命名的多样性问题。利用自然语言处理技术,根据Trie树模型对行政区域寻址的方法和有限状态自动机模型对非规范地址的要素提取方法,本文提出T-FA模型对地址进行分级划分。其中,采用隐马尔可夫模型的切词方法和最长公共子序列算法,可以解决地址要素识别的模糊化搜索。T-FA模型具有良好的泛化能力,在批量处理地址时具有很好的通用效果,能比较有效地解决中文地址多样化的解析难题。

关于有限自动机定义的一个注记

给出了有限自动机的一般定义M=(Q,Σ,R,q0,F),其中R哿(Q×(Σ∪{ε}))×Q,特别地,如果R:Q×Σ→Q,则M是确定性有限自动机,该定义统一描述了确定性有限自动机、非确定性有限自动机、带空转移的非确定性有限自动机与部分自动机的概念。在该定义下,证明了确定性有限自动机与非确定性有限自动机的等价性以及正则语言类关于连接、闭包运算的封闭性,因此该定义在理论上是完备的。

最小有限分支自动机

本文讨论了有限分支自动机的枧范型,给出了最小有限分支自动机的概念.指出了,识别同一可识语言族的最小有限分支自动机在同构意义下是唯一的.同时还证明了,识别Σ上可识语言族 X 的最小有限分支自动机的结构被Σ上等价关系~X 唯一确定.