Fuzzy正则语言注记

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。对Fuzzy正则语言的一些性质、Fuzzy有限状态自动机与Fuzzy正则语言间的关系进行了探讨。     

双峰映射和Lorenz映射的复杂性研究

本文以形式语言和自动机理论为工具，研究一般的双峰映射和Ｌｏｒｅｎｚ映射生成的语言的复杂性，证明了语言为正规的充要条件是映射的揉序列均为终结周期．     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.     

Fuzzy正则语言与Fuzzy正则文法的关系

通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论,得到了二者的等价关系,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点。     

交换Fuzzy正则语言注记

在探讨形式语言的交换性质的基础上,提出了AbelianFuzzy正则语言的概念,探讨了AbelianFuzzy正则语言在并、交和补算子下的封闭性,并得到了Fuzzy正则语言是半交换的的几个等价条件.由于Fuzzy正则语言的交换性质是形式语言之中一种较好的性质,对它的研究将有助于Fuzzy正则语言的机器实现.     

模糊树语言与模糊树文法的等价性

考虑采用正则表达式,有限自动机和文法来描述,提出了模糊树正则表达式的概念,得到了模糊树正则语言的可识别性,并证明了模糊树语言是正则的充分必要条件,这为进一步讨论模糊树自动机奠定了基础.     

树自动机理论在XML中的应用

XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。介绍了树自动机的概念、类型及处理方式，讨论了树自动机在XML中的应用，以XML文档有效性检验为例，实现了一个XML文档DTD树自动机，实验结果表明树自动机理论能够有效地处理XML文档。     

细胞自动机的演化与计算理论’

本文介绍一细胞自动机的基础原理，讨论了细胞自动演化位形序列与形式语言的等价性，并给出９０规则与１５０规则的正则语言集，则时还建立了Ｔｕｒｉｎｇ机仿真９０规则的程序并给出相应的状态转移图。     

THE MINIMAL DFA FOR EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

Combining the theory of symbolic dynamics-with the. formal language theory, we determine the minimal deterministic finite automata (DFA ) accepting the formal languages generated by eventually periodic kneading sequences of unimodal maps on an interval.     

量子语言的一些性质

给出了不同输入字符集上两个q 自动机张量积的定义,研究了不同输入字符集上两个q 自动机的张量积识别的语言.同时讨论了η 量子语言和广义η 量子语言,给出了η 量子语言和广义η 量子语言的一些性质.     

格值正则语言的代数性质

本文主要从可容集的角度研究了格值正则语言，给出了一个语言是格值正则语言的充要条件，并说明了格值正则语言关于商是封闭的．     

偶正则表达式和双读头自动机

定义了偶正则表达式，证明了ＰＲＥ和双读头自动机的等价机，为线性语言提供了一种新的有穷表示。     

二维二方向有限自动机的识别能力研究

研究了3种有限自动机,即二维二方向的确定型、非确定型以及Las Vegas有限自动机.证明存在语言能被二维二方向的Las Vegas有限自动机识别,但不能被相应的确定型有限自动机识别;存在语言能被二维二方向的非确定型有限自动机识别,但不能被相应的Las Vegas有限自动机识别.研究结果表明,二维二方向的Las Vegas有限自动机所识别的语言真包含确定型有限自动机所识别的语言;二维二方向的非确定型有限自动机所识别的语言真包含Las Vegas有限自动机所识别的语言.     

122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。     

一种分布式制造信息系统控制性能的研究方法

提出一种解决Ramadge-W onham监控理论在研究分布式制造信息系统控制性能时存在的形式语言的物理意义不直观、运算复杂且计算量大等问题的方法.该方法将信息单元的自然语言描述形式化,写出形式语言的文法,引入布尔矩阵约束,由该文法产生的信息单元自动机模型满足必要的控制性能要求.最后以某企业自动生产线中的装配机器人为例,应用该方法研究其自动机模型的控制性能.结果显示,该方法计算简单,形式语言的物理意义直观,值得在制造领域中推广.     

Fuzzy上下文无关文法与Fuzzy上下文无关语言的性质

Ｆｕｚｚｙ下推自动机与Ｆｕｚｚｙ上下文无关文法有紧密的关系,讨论了Ｆｕｚｚｙ上下文无关文法及其产生Ｆｕｚｚｙ上下文无关语言的一些性质。     

半群语言与正规语言

利用三元关系定义半群语言(半群的子集),初步讨论了半群语言的代数性质,然后证明了非空有限集合∑上的自由半群∑*的半群语言类与有穷状态自动机所接受的正规语言类是一致的。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.