半群语言与正规语言

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

关于Fuzzy么半群的基

该文引入了么半群的Ｆｕｚｚｙ子么半群的Ｆ－基概念,并且给出了Ｆ－的自由么半群的定义,讨论了它们的一些代数性质     

格蕴涵代数与双格半群

给出格蕴涵代数诱导的双格半群、Ｓ－格半群和格半群，并通过其结构得出了一些格蕴涵代数的性质。     

基于完全剩余格值逻辑上的半群（Ⅰ）

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质     

基于完全剩余格值逻辑上的半群（I）

该文定义了基于完全剩余格值逻辑上的半群的概念，在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质。     

粗糙半群的进一步研究

主要讨论粗糙集理论在代数系统——半群中的应用,介绍了粗糙半群、粗糙理想、粗糙同态映射及粗糙商半群的概念,提出并证明了与此相关的性质,进一步补充和完善了半群中的粗糙集理论.     

在自由么半群上的模糊码

在自由么半群上引进了模糊码、模糊双码和模糊极大前缀码等概念，并且讨论了它们的某些代数特征和代数性质。     

关于星形BCK—代数的讨论

给出了星形ＢＣＫ－代数的若干性质．用伴随半群理论给出星形ＢＣＫ－代数的刻划，引入了伴随半群中元素长度的概念，证明了星形ＢＣＫ－代数伴随半群中元素表示的唯一性．     

关于剩余半群中元素的剩余周期

给出可换偏序立半群中元素的剩余周期的概念，证明了在剩余立半群中，么元为最大元当且仅当半群中每个元素的剩余周期均为１；讨论了元素的剩余周期的一些性质及一种特殊的剩余么牛群的Ａｂｅｌ群结构．     

关于N(2,2,0)代数的平移类

作为可约化半群的推广，引入了半群左（右）可约化的概念，进一步讨论了N（2，2，0）代数的平移变换的性质，并讨论了某些平移类的代数结构。     

有限幺半群的构造(Ⅴ)

本文在幺半群上定义共轭关系,使得古典群论的一些基本定理得到推广,并给出具挠性的幺半群在有限生成集是个正规集时,Burnside Problems的明确答案。     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

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

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

有限特殊图厄系统的有限阶元

讨论了有限可交换特殊图厄系统 (Σ∶ R)及其字问题 ,证明了一个有限可交换特殊图厄系统 (Σ∶ R)是一个有限群与一个自由幺半群的直积 ;在所讨论的系统是完备的情况下 ,得到了一个判定有限阶元问题存在的线性时间算法 ,这个算法同时还构造了字方程 xm =xn 的所有解     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

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

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

从粒子角度研究164号元胞自动机的极限语言复杂性

通过定义164号元胞自动机的基本粒子,找到了粒子的逆演化规律,从而完全确定了其极限语言,并证明了164号元胞自动机的极限语言是正规的。结果表明:用有限自动机就可以接收该极限语言。     

Linearly programmed DNA-based molecular computer operated on magnetic particle surface in test-tube

The postgenomic era has seen an emergence of new applications of DNA manipulation technologies, including DNA-based molecular computing. Surface DNA computing has already been reported in a number of studies that,however, all employ different mechanisms other than automaton functions. Here we describe a programmable DNA surface-computing device as a Turing machine-like finite automaton. The laboratory automaton is primarily composed of DNA (inputs, output-detectors, transition molecules as software), DNA manipulating enzymes and buffer system that solve artificial computational problems autonomously. When fluoresceins were labeled in the 5‘ end of (-) strand of the input molecule, direct observation of all reaction intermediates along the time scale was made so that the dynamic process of DNA computing could be conveniently visualized. The features of this study are: (i) achievement of finite automaton functions by linearly programmed DNA computer operated on magnetic particle surface and (ii)direct detection of all DNA computing intermediates by capiilary electrophoresis. Since DNA computing has the massive parallelism and feasibility for automation, this achievement sets a basis for large-scale implications of DNA computing for functional genomics in the near future.     

偏序BCH-代数的一种自映射

在偏序BCH_代数中定义了一种自映射,证明了这些自映射的有限乘积全体构成的集合关于映射的乘积构成一个交换幺半群,并对交换幺半群可逆元的性质进行了研究.     

自由幺半群X*的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。