格值有限自动机的乘积

初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.     

格值有限状态机的乘积与覆盖

给出了格值有限状态机的覆盖一种新的定义,在这种新的定义下讨论两个格值有限状态机的之间的覆盖关系,也讨论了格值有限状态机全直积、限制直积、级联积与圈积之间的覆盖关系以及格值有限状态机的积与覆盖它们的格值有限状态机的积之间的覆盖关系。     

基于模糊乘积有限自动机的覆盖关系

对Mealy-型模糊有限自动机乘积结构作了进一步的研究,并且对覆盖关系作了细致的刻画,推广了原有的覆盖概念.针对Mealy-型这类模糊有限自动机,通过性质考察了此覆盖概念的合理有效性,新的覆盖概念在乘积自动机间建立了更多的联系.特别证明了直积、级联积、圈积三种乘积之间的覆盖关系.得到了一些乘积自动机覆盖关系的传递性质.     

几类格值自动机的关系

本文给出了四类格值自动机及其语言的定义,证明了前三类格值自动机的等价性,讨论了第四类格值自动机与前三类格值自动机的关系。     

格值模糊有限自动机的同态

引入了格值模糊有限自动机的(强)同态的概念,研究了它们的相关性质,得出了同态基本定理。给出了A上容许关系及强同态的核的概念,研究了它们相关性质。     

格值有穷自动机和单体二阶格值逻辑

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.     

直觉模糊有限自动机的乘积

给出了直觉模糊有限自动机的广义直积、级联积和圈积及覆盖的定义,讨论了直觉模糊有限自动机在同构意义下级联积和圈积满足结合性以及各种乘积之间的覆盖关系。     

模糊有限自动机的乘积覆盖性

推广模糊有限自动机的有限积,包括direct infinite乘积、cascade infinite乘积和wreath infinite 来积.进而讨论它们之间的关系,得到乘积覆盖性等代数性质.     

格值Mealy自动机的同余和同态

提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法.     

最大乘积型Fuzzy文法与自动机

本文对提出的最大乘积型Ｆｕｚｚｙ文法与最大乘积型Ｆｕｚｚｙ自动机的关系作了详细讨论，得出了两个重要的结论。即：由给定的最大乘积型Ｆｕｚｚｙ正规文法可构造一个最大乘积型Ｆｕｚｚｙ自动机使得二者接受的语言集相同，反之亦然。从而达到自动识别语言的目的。     

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的Mealy格值有限自动机的概念,进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型,并较详细讨论了其性质. 同时定义了扩张的完备Mealy格值有限自动机的行为矩阵, 在此基础上给出了其最小化算法.     

模糊树自动机的同余与同态

从代数角度出发研究模糊树自动机的同余与同态,得出模糊树自动机的同态基本定理和同构基本定理,且对模糊树自动机的语言及模糊树自动机的极小化问题进行研究.     

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

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

树与偏k—的乘积的树宽

本文确宇了一棵树与一个k-连通偏k-树的乘积图的树宽。其中,偏k-树是一个树宽为k的图。     

基于树的最小乘积模糊集代数

给出Σ-代数、Σ-树和Σ-树函数的定义.引入了最小乘积模糊集代数,以此研究了一类特定形式的Σ-树.讨论了线性正规等式下的等价类的封闭性,证明了Σ-运算满足分配律并具有保序性.     

树自动机的同余与同态及其语言

从代数的角度出发研究树自动机的同余与同态,得出树自动机的同态基本定理和同构基本定理,进而研究它们之间语言的相关性质.     

树的导出匹配覆盖

The induced matching cover number of a graph G without isolated vertices,denoted by imc(G),is the minimum integer k such that G has k induced matchings M1,M2,…,Mk such that,M1∪M2 ∪…∪Mk covers V(G).This paper shows if G is a nontrivial tree,then imc(G) ∈ {△*0(G),△*0(G) + 1,△*0(G)+2},where △*0(G) = max{d0(u) + d0(v) :u,v ∈ V(G),uv ∈ E(G)}.     

笛卡尔乘积图里的最小k-路点覆盖

对于子集$S\subseteq V(G)$,如果图$G$里的每一条$k$路都至少包含$S$中的一个点,那么我们称集合$S$是图$G$的一个$k$-路点覆盖.很明显,这个子集并不唯一.我们称最小的$k$-路点覆盖的基数为$k$-路点覆盖数, 记作$\psi_k(G)$.本文给出了一些笛卡尔乘积图上$\psi_k(G)$值的上界或下界.     

有限模糊树自动机的一些代数性质与相应的语言

将模糊自动机的同态、完全、容许关系等概念引入到模糊树自动机中,从代数的角度研究模糊树自动机的一些代数性质,并探讨了模糊树自动机的语言的相关问题.     

关于乘积Sombor指数的极值(分子)树

拓扑指数是一类可以用来预测化合物的物理化学性质的数值不变量, 其并被广泛用于量子化学、分子生物学和其他研究领域. 对于一个顶点集为$V(G)$、边集为$E(G)$的(分子)图$G$, 其Sombor指数定义为$SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{G}^{2}(u)+d_{G}^{2}(v)}$, 其中$d_{G}(u)$表示顶点$u$在$G$中的度. 相应地, 乘积Sombor指数定义为$\prod\nolimits_{SO}(G)= \prod\limits_{uv\in E(G)}\sqrt{d_{G}^{2}(u)+d_{G}^{2}(v)}$. 分子树是最大度$\Delta\leq 4$的树. 在本文中, 我们首先确定了乘积Sombor指数最大的分子树, 然后我们确定了乘积Sombor指数的前十三小的(分子)树.